New SAT format