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