#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
#define REP(i,a,n) for(int i=(a); i<(int)(n); i++)
#define rep(i,n) REP(i,0,n)
#define FOR(it,c) for(__typeof((c).begin()) it=(c).begin(); it!=(c).end(); ++it)
#define ALLOF(c) (c).begin(), (c).end()
typedef long long ll;
typedef unsigned long long ull;
//using mint = modint1000000007;
//using mint = modint998244353;



int main(){
  double H, R;
  cin >> H >> R;

  double ret = -8.245 + 6.807 * H + 7.073 * 2.0 * R * 3.1415926535897932384626;

  printf("%.12lf\n", ret);
  
  return 0;
}