#include <stdio.h>
int main() {
    int point[7]={0};
    int tmp;
    while(scanf("%d",&point[0])!=EOF)
    {
        int min=point[0];
        int max=point[0];
     for(int i=1;i<7;i++)
     {
        scanf("%d",&point[i]);
            if(point[i]<min) min=point[i];
            if(point[i]>max) max=point[i];
     }      
     double s=0;
     for(int i=0;i<7;i++)
     if(point[i]!=min&&point[i]!=max)
     s+=point[i];
     double average=s/5;
     printf("%.2lf\n",average);
    }
    return 0;
}