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

int main(){
    double h, r; cin >> h >> r;
    r *= 2 * 3.141592653589793238;
    cout << 8.245 + 6.807 * h + 7.073 * r << endl;
}