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