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