from decimal import Decimal
A,B = map(Decimal,input().split())
ans = 50 * A
tmp = Decimal(0.2) * B + Decimal(0.8)
ans = int(ans / tmp)
print(ans + 50 * A)