#include <iostream>
#include <cstdio>
using namespace std;

int main(void){

  double mountain;
  double out = 0;

  while( cin >> mountain ){
    out = max( mountain , out );
  }
  printf("%.1f",out);
  return 0;
}