from collections import defaultdict


def main():
    n, k = map(int, input().split())
    print(50 * n + int(50 * n / (0.8 + 0.2 * k) + 1e-10))


if __name__ == '__main__':
    main()