Fifteen sprinters ran the 50-yard dash in an average of 9.5 seconds. Of those runners,3 ran the dash in 11.5 seconds. Find the average time of the other 12 boys