11 lines
104 B
Plaintext
11 lines
104 B
Plaintext
|
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
|