SAT format change