8 lines
75 B
Plaintext
8 lines
75 B
Plaintext
|
c status 10
|
||
|
|
c --focus=0
|
||
|
|
c --phase=0
|
||
|
|
c --reluctant=0
|
||
|
|
p cnf 2 2
|
||
|
|
2 1 0
|
||
|
|
2 -1 0
|