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