* fixed adding cnf to Solver