(define v (read))
(define t (read))
(inexact->exact(floor (* v t)))