(format t "~,15f~%" (* (float (read) 0.0d0) (float (read) 0.0d0) 0.061088666))