#include <bits/stdc++.h>
#define REP(i,a,b) for(i=a;i<b;i++)
#define rep(i,n) REP(i,0,n)

using namespace std;

typedef long long ll;
typedef unsigned long long ull;
typedef long double ld;
/* ここからが本編 */
/*  */
int main(void)
{
  ull i,j,k;
  ull N,K;
  ull tarou_win = 0;
  ull trial_cnt = 1000000;
  scanf("%llu %llu",&N,&K);
  // cin >> N >> K;
  // tarouがせこする
  for(i=0;i<trial_cnt;i++) {
	ull tarou_sum = 0,zirou_sum = 0;
	for(j=0;j<K;j++) {
	  tarou_sum += rand() % 3 + 4;
	}
	for(;j<N;j++) {
	  tarou_sum += rand() % 6 + 1;
	}
	for(j=0;j<N;j++) {
	  zirou_sum += rand() % 6 + 1;
	}
	if(tarou_sum > zirou_sum) tarou_win++;
  }
  printf("%lf\n",(double)tarou_win/trial_cnt);
  return 0;
}