Adicao dos arquivos de configuracao do 3-SAT
Atualizacao