NP
Formato SAT