#include <stdio.h>

int main()
{
	int arr1[7] = { 0 }; 
	float avg = 0.0f;
	int sz = sizeof(arr1) / sizeof(arr1[0]); 
	while (scanf("%d", &arr1[0]) != EOF)
	{
		for (int i = 1; i < sz; i++)
		{
			scanf("%d", &arr1[i]); 
		}
		int max = arr1[0];
		int min = arr1[0];
		int sum = 0;
		for (int i = 0; i < sz; i++)
		{
			if (arr1[i] > max)
				max = arr1[i];
			if (arr1[i] < min)
				min = arr1[i];
			sum += arr1[i];
		}
		sum -= (max + min);
		
		printf("%.2f\n", (sum / 5.0));
	}
	
	return 0; 
}