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