oneTest.cnf

c 61 2 S
p cnf 22 44
-16,-18,0
11,-11,0
16,-12,0
13,-11,0
-11,-17,0
-21,-11,0
-14,5,0
10,11,0
11,-21,0
20,14,0
-8,-6,0
18,-16,0
18,3,0
1,-6,0
15,3,0
-7,20,0
20,2,0
9,-13,0
-5,13,0
4,21,0
21,1,0
7,6,0
-15,-4,0
-6,-20,0
-13,-21,0
9,14,0
-16,-9,0
-6,6,0
-15,-11,0
19,-3,0
5,-4,0
6,3,0
9,8,0
15,-17,0
-2,17,0
-16,-17,0
-22,2,0
12,11,0
16,5,0
-21,21,0
-10,-19,0
9,-4,0
-17,16,0
-15,19,0