#include <bits/stdc++.h>

using namespace std;
typedef long long ll;
typedef vector<int> VI;
typedef vector<VI> VVI;
typedef vector<ll> VL;
typedef vector<VL> VVL;
typedef pair<int, int> PII;

#define FOR(i, a, n) for (int i = (int)a; i < (int)n; ++i)
#define REP(i, n) FOR(i, 0, n)
#define ALL(x) x.begin(), x.end()
#define MOD 1000000007
#define INF 1000000000
#define PI 3.14159265359
#define EPS 1e-12

double dp1[65], dp2[65];

int main(void)
{
  int n, k;
  cin >> n >> k;

  dp1[0] = dp2[0] = 0.0;
  for(int i=1; i<=k; ++i) {
    for(int j=6*i; j>=0; --j) {
      for(int k=1; k<=3; ++k) {
        if(j >= k)
          dp1[j] += dp1[j-k] / 3;
      }
    }
  }
  for(int i=k+1; i<=n; ++i) {
    for(int j=6*i; j>=0; --j) {
      for(int k=1; k<=6; k++) {
        if(j >= k)
          dp1[j] += dp1[j-k] / 6;
      }
    }
  }
  for(int i=1; i<=n; ++i) {
    for(int j=6*i; j>=0; --j) {
      for(int k=1; k<=6; ++k) {
        if(j >= k)
          dp2[j] += dp2[j-k]/6;
      }
    }
  }

  double ans = 0.0, sum = dp2[1];
  for(int i=2; i<=n*6; ++i) {
    ans += dp1[i] * sum;
    sum += dp2[i];
  }

  cout << ans << endl;

  return 0;
}