import strutils

let
  vt = stdin.readLine.split
  v0k = vt[0].replace(".").parseInt
  t = vt[1].parseInt

echo v0k * t div 10_000