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