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