import sys
input = sys.stdin.buffer.readline

v, t = input().split()
v = int(v[2:])
t = int(t)
print(v * t // 10000)