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