#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

double dp1[11][70],dp2[11][70];

int main()
{
	int n,k;
	cin >> n >> k;
	dp1[0][0] = 1.0;
	dp2[0][0] = 1.0;
	for(int i = 0;i<n;i++)
	{
		for(int j = 1;j<=6;j++)
		{
			for(int k = 0;k<61;k++)
			{
				dp1[i+1][j+k] += dp1[i][k]*1.0/6.0; 
			}
		}
	}	
	for(int i = 0;i<n-k;i++)
	{
		for(int j = 1;j<=6;j++)
		{
			for(int k = 0;k<61;k++)
			{
				dp2[i+1][j+k] += dp2[i][k]*1.0/6.0; 
			}
		}
	}
	for(int i = n-k;i<n;i++)
	{
		for(int j = 4;j<=6;j++)
		{
			for(int k = 0;k<61;k++)
			{
				dp2[i+1][k+j] += dp2[i][k]*1.0/3.0; 
			}
		}
	}
	double ans = 0;
	for(int i = 0;i<61;i++)
	{
		for(int j = 0;j<61;j++)
		{
			if(i>j)
			{
				ans += dp1[n][j]*dp2[n][i];
			}
		}
	}
	printf("%.5lf\n",ans);
	return 0;
}