NP 1200
Formaatti SAT