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