C11
Formatuj SAT