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