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

