#include <stdio.h>
int main (void) {
  printf ("%e\n", 10.02545);
}