Atualizacao
Atualizacao
Inicio da implementacao do problema 3-SAT