c, d = map(int, input().split())
a = 20*c - 8*d
b = 21*d - 7*c
if a >= 0:
    if b >= 0:
        v = (a + 2 * b)*1000/13
    else:
        v = d * 4000
else:
    v = c * 7000
print(v)