#include<stdio.h>
int main()
{
double x[10]={95.0,89.0,76.0,65.0,88.0,72.0,85.0,81.0,90.0,56.0};
double max;
int i;
max=x[0];
for(i=1;i<10;i++);
if(max<x[i])
max=x[i];
printf("%.1lf\n",max);
return 0;
}