from decimal import Decimal

n, k = map(str, input().split())
n = Decimal(n)
k = Decimal(k)

ans = 50 * n + (n * Decimal("50") / (k * Decimal("0.2") + Decimal("0.8")))

print(int(ans))