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