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

