a, b = int(input().split())

print(a * b / 1000000007)