Termino da implementacao do problema 3-SAT