x3cnf