Resolução simples e rápida de SAT
