31 lines
280 B
INI
31 lines
280 B
INI
c status 20
|
|
c --eliminateinit=1
|
|
c --eliminateocclim=0
|
|
c --phase=0
|
|
p cnf 21 25
|
|
8 -9 0
|
|
-7 -8 0
|
|
2 -1 0
|
|
7 -6 1 0
|
|
-2 -3 0
|
|
-4 6 0
|
|
-12 5 0
|
|
6 -12 0
|
|
10 8 2 0
|
|
12 11 0
|
|
3 1 0
|
|
4 7 0
|
|
7 3 0
|
|
20 -14 0
|
|
15 16 0
|
|
-18 -11 0
|
|
-10 13 0
|
|
-1 -5 9 0
|
|
-1 -17 0
|
|
16 -15 0
|
|
19 3 0
|
|
18 -20 0
|
|
-13 9 0
|
|
-16 17 0
|
|
14 21 0
|