17 lines
147 B
Plaintext
17 lines
147 B
Plaintext
|
p cnf 11 15
|
||
|
|
-1 10 0
|
||
|
|
-1 11 0
|
||
|
|
-10 2 0
|
||
|
|
-11 3 0
|
||
|
|
-2 -3 4 0
|
||
|
|
-4 5 0
|
||
|
|
-4 6 0
|
||
|
|
-5 -6 7 0
|
||
|
|
-7 1 0
|
||
|
|
1 4 7 8 0
|
||
|
|
-1 -4 -7 -8 0
|
||
|
|
1 4 7 9 0
|
||
|
|
-1 -4 -7 -9 0
|
||
|
|
8 9 0
|
||
|
|
-8 -9 0
|