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