C,D=map(int,input().split())
print(2000*(3*C+17*D)/13)