n,k=map(int,input().split())
ans=50*n
print(int(ans+ans/(0.8+0.2*k)))