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