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