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

