#include <bits/stdc++.h>
using namespace std;

int main(){
    double H,R;
    cin >> H >> R;
    cout << 8.245+6.807*H+7.703*R << endl;
}