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