#include <stdio.h>

int main() {
	int s[6];
	for(int i = 0; i < 6; i++) { scanf("%d", &s[i]); }
	
	int min = 101, max = -1, sum = 0;
	for(int i = 0; i < 6; i++) {
		sum += s[i];
		if(min > s[i]) { min = s[i]; }
		if(max < s[i]) { max = s[i]; }
	}
	
	printf("%.2f\n", (sum - max - min) / 4.0);
	
	return 0;
}