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