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