finish cnf and cnftest