num = map(int,raw_input().split())
ans = 50*num[0]+(50*num[0]/(0.8+0.2*num[1]))
print int(ans)