#include<stdio.h>
int grade[7];
void pubble()
{
int _i,_j;
int tmp;
for(_i=0;_i<6;_i++)
for(_j=_i;_j<6;_j++)
if(grade[_i]>grade[_j])
{
tmp=grade[_i];
grade[_i]=grade[_j];
grade[_j]=tmp;
}
}
int sum()
{
int _j;
int max=0;
for(_j=1;_j<5;_j++)
max+=grade[_j];
return max;
}
int main()
{
int _i,cnt=0;
while(1)
{
cnt=0;
for(_i=0;_i<6;_i++)
scanf("%d",&grade[_i]);
for(_i=0;_i<6;_i++)
if(grade[_i]==0) cnt++;
if(cnt==6) return -1;
pubble();
printf("%g/n",(float)sum()/4);
}
return 0;
}