v, t = gets.split
v = v.delete('.').to_i
t = t.to_i
p (v * t) / 10000