c This Formular is generated by mcnf
c
c    horn? no 
c    forced? no 
c    mixed sat? no 
c    clause length = 3 
c
p cnf 20  91 
 4 12 -8 0
17 15 1 0
8 -17 -13 0
11 -18 13 0
-13 -8 -12 0
-5 -2 4 0
-5 -13 1 0
-2 -16 -20 0
2 10 6 0
18 -20 14 0
5 19 10 0
9 14 -19 0
-17 -10 14 0
-9 1 15 0
-20 -4 -2 0
-2 18 14 0
18 15 -16 0
-1 -12 -7 0
-5 -13 7 0
-19 -2 11 0
14 -12 20 0
-2 -13 -16 0
-12 -18 10 0
-10 -17 -14 0
-6 14 13 0
3 18 -19 0
-3 4 10 0
16 13 -3 0
-7 -20 13 0
11 -2 1 0
10 20 4 0
-5 4 -9 0
20 18 -3 0
-18 11 12 0
-18 1 9 0
4 14 6 0
-12 -6 -1 0
19 -11 13 0
18 -5 17 0
7 -16 -12 0
-9 -13 -4 0
7 -19 -2 0
-19 -16 6 0
-17 14 -5 0
16 -9 -15 0
5 -1 -7 0
-19 -3 -1 0
-9 12 1 0
17 2 7 0
-4 12 -1 0
16 6 1 0
2 -4 -19 0
-17 3 -7 0
19 -17 -5 0
12 -3 16 0
7 2 3 0
7 5 1 0
8 -19 6 0
-19 -2 13 0
10 4 6 0
7 17 5 0
-15 -10 -12 0
18 12 4 0
-19 11 1 0
-7 -10 -13 0
-12 18 8 0
5 -17 -15 0
-2 18 -13 0
1 -7 -9 0
10 -20 7 0
-18 -11 -13 0
-18 13 12 0
-5 -4 3 0
-9 15 -18 0
-8 -5 19 0
11 8 -17 0
-20 -15 3 0
-16 -20 -10 0
-3 8 -13 0
12 -2 -10 0
-15 6 10 0
17 -3 -4 0
-5 -19 -1 0
-20 19 11 0
11 16 9 0
14 -16 13 0
5 -9 4 0
-19 -2 -1 0
17 -19 -12 0
15 9 -11 0
11 3 -6 0
%
0