(loop(format t"~$~%"(expt 2(+(/(read)12)3.03136))))