#include<stdio.h>
int main(void){
    int i,S,max=0,min=100,T=0;
    
    for(i = 0; i < 6; i++){
        scanf("%d",&S);
        T += S;
        if(S > max){
            max = S;
        }
        if(S < min){
            min = S;
        }
    }
    printf("%.2f",(double)(T-max-min)/4);
}