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 50  218 
 11 -41 20 0
-1 38 49 0
-10 18 11 0
7 49 -35 0
28 33 18 0
35 16 -50 0
12 19 -27 0
-33 19 10 0
-44 -22 -10 0
-13 -22 17 0
-40 19 38 0
29 -34 -24 0
48 26 3 0
-18 -12 -39 0
-11 -3 -5 0
-49 23 -7 0
42 -41 13 0
49 45 -31 0
18 -19 -9 0
-39 -7 -2 0
32 7 39 0
10 11 -30 0
23 1 16 0
-40 20 22 0
-34 23 22 0
-8 39 -13 0
-14 -16 -43 0
-29 -12 50 0
-7 24 -21 0
50 -3 9 0
-28 -38 4 0
23 -47 25 0
14 19 25 0
-14 -19 33 0
-20 47 -5 0
-43 -46 21 0
-5 8 -2 0
43 -35 11 0
25 -11 -42 0
9 -14 36 0
47 -35 -49 0
22 36 42 0
15 7 -48 0
-47 48 -6 0
28 -14 13 0
18 -22 39 0
-1 -10 5 0
5 47 -25 0
47 18 46 0
2 -35 -14 0
19 -16 -10 0
-27 32 -9 0
49 -28 37 0
22 -27 -26 0
-17 31 30 0
14 30 -28 0
-48 43 35 0
27 44 12 0
-22 -50 -45 0
-5 9 44 0
-3 -17 -37 0
-7 35 40 0
-16 -40 49 0
-47 -12 -21 0
19 -4 8 0
20 40 28 0
-4 27 50 0
-50 33 -2 0
-20 -6 3 0
-40 -15 -6 0
-9 46 34 0
1 -6 -30 0
13 -49 -29 0
5 16 -44 0
10 -46 -4 0
-9 -2 -25 0
-46 -38 -31 0
23 50 -29 0
-40 -19 -41 0
22 36 -44 0
-4 10 38 0
-4 48 -13 0
-15 -46 50 0
18 36 31 0
-6 40 -42 0
35 -17 1 0
-48 50 10 0
-46 19 9 0
6 1 2 0
20 8 -50 0
-4 -38 -42 0
-24 30 45 0
-42 -6 36 0
21 50 2 0
-30 34 -28 0
20 -7 37 0
-6 49 50 0
-31 15 2 0
1 9 4 0
-2 6 -1 0
50 -15 36 0
16 -3 42 0
-26 -34 3 0
43 39 -27 0
-21 12 9 0
-44 -46 -19 0
-43 2 -50 0
6 39 15 0
-13 -16 39 0
16 -1 12 0
-32 23 18 0
-34 -5 -20 0
-15 45 -21 0
30 15 -9 0
-19 39 31 0
25 40 -21 0
-8 -6 -7 0
-5 -39 10 0
-14 7 -10 0
-50 28 36 0
33 45 -43 0
-42 26 -50 0
-37 22 33 0
48 19 -31 0
-6 -50 -17 0
-45 14 33 0
-31 8 -27 0
26 -43 15 0
32 -36 -39 0
2 -49 39 0
-6 34 -33 0
39 -1 6 0
9 7 -4 0
-44 47 27 0
22 -10 18 0
29 34 40 0
10 -12 -15 0
33 50 29 0
-50 11 46 0
3 30 -33 0
41 42 -29 0
-11 -23 -50 0
-2 -31 43 0
-1 35 -18 0
-12 -19 17 0
33 22 -15 0
-50 -35 10 0
27 -34 -43 0
48 -8 -39 0
32 -12 43 0
34 -50 -36 0
41 27 -34 0
13 50 -10 0
-47 10 8 0
-35 5 -14 0
-3 2 49 0
23 -49 1 0
-32 12 -24 0
-41 -14 45 0
1 34 -23 0
14 -13 -41 0
-36 -23 -48 0
-11 -10 34 0
-41 -40 -13 0
40 -21 -3 0
-18 -44 -33 0
15 -16 -30 0
-12 3 36 0
-14 -44 -1 0
7 -22 -10 0
-2 43 -34 0
-17 -36 -43 0
23 -49 -40 0
20 -9 36 0
9 42 40 0
-9 -3 -8 0
20 -4 15 0
-49 -22 -1 0
31 50 -4 0
35 -30 -31 0
-38 -6 35 0
-24 -17 26 0
-41 28 -47 0
-36 47 -27 0
28 48 27 0
40 9 -30 0
46 28 45 0
-47 -7 1 0
-20 34 -14 0
43 50 -24 0
43 48 3 0
-50 -17 -34 0
18 -35 6 0
-35 -47 37 0
-24 35 9 0
-42 47 -13 0
-50 19 -1 0
-33 -30 -23 0
-42 -32 -46 0
-37 -3 -22 0
11 -41 -22 0
8 34 9 0
47 -50 -2 0
19 31 15 0
-45 13 -24 0
49 -3 21 0
-29 -22 -20 0
33 -39 -43 0
-20 7 -22 0
36 -10 43 0
8 -47 -29 0
-48 16 10 0
17 42 -44 0
38 -26 -6 0
7 -50 -30 0
24 44 -41 0
42 -9 1 0
-2 -9 46 0
%
0