test-cnf