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