#pragma GCC target("avx2")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
int cnt1[61],cnt2[61];
int main(){
	int n,k;
	cin>>n>>k;
	for(int S=0;S<pow(6,n);S++){
		int arr[10],S2=S;
		for(int i=0;i<n;i++){
			arr[i]=S2%6;
			S2/=6;
		}
		int sum1=0,sum2=0;
		for(int i=0;i<n;i++){
			sum1+=arr[i]+1;
			if(i<k)
				sum2+=arr[i]/2+4;
			else
				sum2+=arr[i]+1;
		}
		cnt1[sum1]++;
		cnt2[sum2]++;
	}
	ll ans=0;
	for(int i=n;i<=6*n;i++)
		for(int j=i+1;j<=6*n;j++)
			ans+=(ll)cnt1[i]*cnt2[j];
	cout<<fixed<<setprecision(20)<<ans/pow(6,2*n)<<endl;
}