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