a, b = map(int, input().split(" ")) ans = 50 * a + int((50 * a) / (0.8 + 0.2 * b)) print("{:d}".format(ans))