c Nd73_85_0 4
c a_0_0 6
c Nd13_36_0 7
c Nd12_37_0 5
c c_0_1 3
c c_0_0 1
p cnf 9 19
1 2 0
-1 -2 0
2 0
-6 1 5 0
6 -5 0
-1 -5 0
6 -1 7 0
-6 -7 0
1 -7 0
5 7 4 0
-5 -4 0
-7 -4 0
3 4 8 0
-3 -8 0
-4 -8 0
-3 -4 9 0
3 -9 0
4 -9 0
8 9 0