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