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