from decimal import Decimal as de
H,FFC=map(de,input().split())
pi=de("3.141592653")
a=(-de("8.245") + de("6.807") * H + de("7.073") * FFC)*3
print(a)