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