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 
 16 -20 5 0
5 -17 -19 0
-9 4 -15 0
19 12 1 0
-16 10 11 0
7 -1 -12 0
-10 14 -17 0
-6 10 -18 0
7 6 -2 0
18 17 15 0
2 11 -13 0
-17 1 7 0
-20 -17 -11 0
-13 18 1 0
10 3 4 0
-7 17 18 0
11 -5 -14 0
-3 -8 7 0
12 16 4 0
-15 4 -13 0
4 15 -16 0
8 18 -4 0
17 5 3 0
6 16 -17 0
-19 -15 2 0
11 -17 -4 0
5 -10 9 0
3 -16 6 0
12 -16 4 0
-19 11 -3 0
1 -20 16 0
12 1 17 0
4 -9 5 0
-16 6 -19 0
-20 5 -3 0
16 8 -10 0
-15 4 14 0
-18 6 8 0
18 9 3 0
-8 -5 -2 0
3 8 -20 0
-10 -18 8 0
17 -5 -13 0
6 4 19 0
-16 14 5 0
-15 -12 -10 0
7 11 15 0
-4 15 13 0
18 -13 7 0
2 -12 -19 0
12 -5 -6 0
16 -9 8 0
-5 14 1 0
-14 -15 17 0
-1 5 15 0
-11 16 -14 0
-10 20 -1 0
4 7 -13 0
14 -17 10 0
13 -16 -7 0
17 6 -7 0
-2 11 -8 0
19 13 16 0
-17 -18 13 0
-6 -19 3 0
-4 5 -10 0
5 -8 -17 0
1 14 -15 0
6 -20 -4 0
11 9 14 0
11 -9 10 0
9 2 -18 0
-19 -10 -9 0
5 3 11 0
19 -10 -13 0
16 -2 -3 0
-9 19 10 0
12 -18 14 0
-10 18 -15 0
16 4 -6 0
1 5 -2 0
17 14 16 0
11 19 -1 0
9 13 -14 0
19 -6 -3 0
4 -15 17 0
-2 15 16 0
1 -12 2 0
18 4 -12 0
6 14 -10 0
3 2 -18 0
%
0