p cnf 1 1
-1 0