last cnf
cnf 1