p cnf 2 1
1 2 0