#include <stdio.h>
int main()
{
int arr[7] = { 0 };
while (~scanf("%d %d %d %d %d %d %d", &arr[0], &arr[1], &arr[2], &arr[3], &arr[4], &arr[5], &arr[6]))
{
int max = 0;
int min = 100;
for (int i = 0; i < 7; i++)
{
if (arr[i] > max)
max = arr[i];
if (arr[i] < min)
min = arr[i];
}
double sum = 0.0;
for (int j = 0; j < 7; j++)
{
sum += arr[j];
}
printf("%.2lf\n", (sum - (double)max - (double)min) / 5.0);
}
return 0;
}