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