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