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