2cnf