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

