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