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