#include <stdio.h>

int main(){
  int i=0, j, s=0, M=0, m=100;
  for(; i < 6;i++){
    scanf("%d", &j);
    if(j > M) M = j;
    if(m > j) m = j;
    s += j;
  }
  printf("%2.2f\n",(s-M-m)/4.0);
  return 0;
}