#include<stdio.h>
int main(){
 int i,s,sum=0,max=0,min=100;
 for(i=0;i<6;i++){
  scanf("%d",&s);
  sum+=s;
  max=(s>max)?s:max;
  min=(s<min)?s:min;
 }
 s=sum-max-min;
 printf("%.2f",s/4.0);
 return 0;
}