I have a lawn chief mower with a 42 inch cut what size belt does it take I already know that a 70 inch is tight with deck raized an think maybe a 72 ?