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