Symbol: MARK_INT_SAT