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