from decimal import *
a, b = map(Decimal, input().split())
print(Decimal('-8.245')+Decimal('6.807')*a+Decimal('7.073')*b)