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

print (50*N)+int(50*N/(0.8+0.2*K))