#include
int main()
{int a[7],i,max=-1,min=999,s=0;
char name[40];
float c;
for(i=0;i<7;i++)
{scanf("%d ",&a[i]);
s+=a[i];
if(a[i]>max)max=a[i];
if(a[i] } gets(name); c=(float)(s-max-min)/5; printf("%s %.2f\n",name,c); return 0; }
}
gets(name);
c=(float)(s-max-min)/5;
printf("%s %.2f\n",name,c);
return 0;