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