c status 10
c --focus=0
c --phase=0
c --reluctantint=0
p cnf 7 5
2 -3 0
5 -4 0
-7 -5 0
5 6 4 0
7 1 -5 0