cnf conversion results