AB = list(map(int, input().split()))
print(50 * AB[0] + int(250 * AB[0] / (4 + AB[1])))