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

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