p cnf 4 2
1 0
2 3 4 0
