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