from decimal import Decimal


def f(n, k):
    return 50 * n + int(Decimal("50") * n / (Decimal("0.8") + (Decimal("0.2") * k)))

print(f(*list(map(int, input().split()))))