n, k = map(int,input().split())
ans = 50 * n + round(50 * n / (0.8 + 0.2 * k))
print(ans)