Symbol: SAT_NONNCQ_MAX