s = io.read()
a, b = string.match(s, "0.(%d+) (%d+)")
a = tonumber(a)
b = tonumber(b)
print(math.floor(a * b / 10000))