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