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