Resolução de problemas de SAT
