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