# yukicoder No.445 得点 2020/01/30

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