In a race the mean time for three runners is 12.4 seconds and the mean time for another six runners was 11.5 seconds. Calculate the mean time for all nine runners.