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