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