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