Marlins Magic Number: What does Miami need to clinch a playoff berth