#include<cstdio>
#include<vector>


using namespace std;

using vi=vector<int>;
using vvi=vector<vi>;


int main(void)
{
	int n, k, i, j, l;
	vi dp[2];
	vi t;
	double ans;

	while(scanf("%d%d", &n, &k)==2)
	{
		for(l=0;l<2;l++)
		{
			auto& ldp=dp[l];

			ldp.clear();
			ldp.push_back(1);
			for(i=1;i<=n;i++)
			{
				ldp.swap(t);
				ldp.assign(i*6+1, 0);
				for(j=0;j<t.size();j++)
				{
					if(l==0 && i<=k)
					{
						for(int l=4;l<=6;l++) ldp[j+l]+=t[j]*2;
					}
					else
					{
						for(int l=1;l<=6;l++) ldp[j+l]+=t[j];
					}
				}
			}
		}
		for(int i=dp[0].size()-1;i>0;i--)
		{
			dp[0][i-1]+=dp[0][i];
		}

		ans=0.0;
		for(i=0;i<6*n;i++)
		{
			ans+=(double)dp[1][i]*dp[0][i+1];
		}
		for(i=0;i<n;i++) ans/=36;
		printf("%f\n", ans);
/*
		for(i=0;i<2;i++)
		{
			for(j=n;j<dp[i].size();j++)
			{
				printf("%d %d\n", j, dp[i][j]);
			}
		}
*/
	}

	return 0;
}