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