import sys
read = sys.stdin.buffer.read
readline = sys.stdin.buffer.readline
readlines = sys.stdin.buffer.readlines

v, t = readline().decode().split()

v = int(v[2:])
t = int(t)
print(int(t * v / 10000))