cnf working
minisat added