p cnf 5 2
1 2 3 0
3 4 5 0