#include <stdio.h>
int main(){
	int n[6];
	for(int i=0;i<6;i++)scanf("%d", &n[i]);
	for (int i=0;i<5;i++) {
		for (int j=i+1;j<6;j++) {
			if(n[i]<n[j])continue;
			int w = n[i];
			n[i]=n[j];
			n[j]=w;
		}
	}
	double s=0;
	for (int i = 1;i < 5;i++) {
		s+=n[i];
	}
	printf("%.2f",s/4);
}