import math
n, k = (int(i) for i in input().split())

ans = 50 * n + round((50 * n) / (0.8 + (0.2 * k)))
print(ans)