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