cnf working now to solve