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