main(){printf("%.14e",969LL<<52);}