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

