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