Symbol: ISC_CBCHS_SAT