p cnf 34 5
1 18 33 0
-34 -6 28 0
-27 34 0
-33 -28 0
25 -34 0
c max 18 33 34 0
c ind 6 25 0