C2 - C4
Формат SAT