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

