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