Implementacao do problema 3-SAT