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