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

