Ответ:

Урезанное среднее уже найдено и равно 7,5