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