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