main(){printf("5.55111512312578e-17");}