#include<stdio.h>

int main()
{
    int arr[10]={0};
    int i = 0;
   
   while (~scanf("%d %d %d %d %d %d %d", &arr[0], &arr[1], &arr[2], &arr[3], &arr[4], &arr[5], &arr[6]))
    {
    for(i=0;i<7;i++)
    {
       
        if(arr[i]>arr[0])
        {
            int ret = arr[i];
            arr[i]=arr[0];
            arr[0]=ret;
        }
       if(arr[i]<arr[1])
       {
            int ret = arr[i];
            arr[i]=arr[1];
            arr[1]=ret;
       }
    }
    
    float grade =0.0;
    int sum = 0;
    for(i = 2;i<7;i++)
    {
        sum +=arr[i];
    }
    grade = sum/5.0;
    printf("%.2f\n",grade);
   }
    return 0;
}