C, D = map(int, input().split())
ans1 = 1000 * min(C / (3/4), D / (1/4))
ans2 = 2000 * min(C / (2/7), D / (5/7))
delta = 364
x = (20 * C - 8 * D) / delta * 28
y = (-7 * C + 21 * D) / delta * 28
ans3 = 0
if x >= 0 and y >= 0:
    ans3 = 1000 * x + 2000 * y
print(max(ans1, ans2, ans3))