#include<iostream>
#include<sstream>
#include<cstdio>
#include<cstring>
#include<string>
#include<vector>
#include<list>
#include<queue>
#include<stack>
#include<utility>
#include <fstream>
#include<set>
#include<map>
#include<cctype>
#include<cmath>
#include<algorithm>
#include <numeric>
using namespace std;


#define RALL(x) (x).rbegin(),(x).rend()
#define ALL(x) (x).begin(),(x).end()
#define repp(i,n) for(int (i)=1;(i)<=(n);(i)++)
#define rep(i,n) for(int (i)=0;(i)<(n);(i)++)
#define rev(i,n) for(int (i)=(n-1);(i)>=0;(i)--)
#define clr(a) memset((a), 0 ,sizeof(a))
#define found(s,e) ((s).find(e)!=(s).end())

typedef pair<int,int> P;
typedef vector<pair<int,int> > pii;
typedef map<string,int> mdi;


int n,a;
double dp[100],dp2[100],A[100];

int main(){
	int i,j,k;
	double res;
	cin >> n >> a;
	dp[0]=dp2[0]=1;
	
	for(k=0;k<a;k++){
		for(i=0;i<100;i++) A[i]=0;
		for(i=0;i<90;i++) for(j=4;j<7;j++) A[i+j]+=dp[i]/3;
		for(i=0;i<100;i++) dp[i]=A[i];
	}
	for(k=0;k<n-a;k++){
		for(i=0;i<100;i++) A[i]=0;
		for(i=0;i<90;i++) for(j=1;j<7;j++) A[i+j]+=dp[i]/6;
		for(i=0;i<100;i++) dp[i]=A[i];
	}
	
	for(k=0;k<n;k++){
		for(i=0;i<100;i++) A[i]=0;
		for(i=0;i<90;i++) for(j=1;j<7;j++) A[i+j]+=dp2[i]/6;
		for(i=0;i<100;i++) dp2[i]=A[i];
	}
	
	res=0;
	for(i=0;i<100;i++) for(j=0;j<i;j++) res+=dp[i]*dp2[j];
	
	printf("%.10lf\n", res);
	
	return 0;
}