from decimal import Decimal
n, k = map(Decimal, input().split())
a = Decimal("50") * n
b = Decimal("0.8") + Decimal("0.2") * k
c = a // b
print(a + c)