p cnf 1 2
