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