A trucking firm suspects that the mean life of a certain tire it uses is less than 35,000 miles. To check the claim, the firm randomly selects and tests 18 of these tires and gets a mean lifetime of 34,350 miles with standard deviation of 1200 miles. At α = 0.05, test the trucking firm's claim.