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