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