#include <bits/stdc++.h>
using namespace std;
using ll=long long;
using ull=unsigned long long;
#define rep(i,n) for(int i=0; i<(n); i++)


int main(){
  double R,H; cin>>R>>H;
  double ans = 8.245+6.807*H+7.073*R;
  cout<<ans<<endl;
  return 0;
}