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