NP
Formato de plano SAT