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

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