c max 3 1 0
c ind 2 4 0
p cnf 7 2
1 -2 -4 0
2 3 0