13 lines
112 B
Plaintext
13 lines
112 B
Plaintext
|
c status 10
|
||
|
|
c --focus=0
|
||
|
|
c --phase=0
|
||
|
|
c --reduceinit=0
|
||
|
|
p cnf 7 7
|
||
|
|
4 6 0
|
||
|
|
1 5 0
|
||
|
|
4 -1 -3 0
|
||
|
|
-2 -5 0
|
||
|
|
1 2 0
|
||
|
|
5 -3 0
|
||
|
|
7 3 0
|