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