c max 25 28 10 0
c ind 33 27 0
p cnf 33 9
-10 -27 0
-23 22 25 0
13 27 0
16 28 0
27 23 0
-13 -22 0
-33 25 0
28 -29 0
16 -27 0