#include<iostream>
#include<stdio.h>
#define LL long long
using namespace std;
LL dp1[12][100]={{1}};
LL dp2[12][100]={{1}};
int main(){
	int n,k;
	cin>>n>>k;
	for(int i=1;i<=n;i++){
		for(int m=1;m<=6;m++)
			for(int j=m;j<100;j++)
				dp1[i][j]+=dp1[i-1][j-m];
	}
	for(int i=1;i<=k;i++){
		for(int m=4;m<=6;m++)
			for(int j=m;j<100;j++)
				dp2[i][j]+=2*dp2[i-1][j-m];
	}
	for(int i=k+1;i<=n;i++){
		for(int m=1;m<=6;m++)
			for(int j=m;j<100;j++)
				dp2[i][j]+=dp2[i-1][j-m];
	}
	LL p=0;
	LL q=0;
	for(int i=0;i<100;i++)
		for(int j=0;j<100;j++){
			p+=dp1[n][i]*dp2[n][j];
			if(i<j)q+=dp1[n][i]*dp2[n][j];
		}

	printf("%.5f\n",q/(double)p);
	return 0;
}