Funcionando, com exemplos e printando saida bonita =D. Estamos usando o minisat agora, pq eh mais facil de tratar a saida dele