what is the semifinal average where the preliminary average is 9.084 (1) ?
9.520 (1)