main(n){while(gets(&n))printf("%.2f\n",8.1758*exp2(atoi()/12.));}