N, K = map(int, input().split())

print(50 * N + 500 * N // (8 + 2 * K))