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