#include <bits/stdc++.h> using namespace std;

int main() { cout <<"95.87"; return 0; }