#include <bits/stdc++.h> using namespace std; #define int long long using ld=long double; int pw(int n,int k){ assert(k>=0); int res=1; while(k){ if(k&1)res*=n; n*=n; k>>=1; } return res; } signed main(){ int n,k;cin>>n>>k; vector<int> hu(61,0),ika(61,0); for(int i=0;i<pw(6,n);i++){ int res=0,tmp=i; for(int j=0;j<n;j++){ res+=tmp%6+1; tmp/=6; } hu[res]++; } for(int i=0;i<pw(6,n);i++){ int res=0,tmp=i; for(int j=0;j<n;j++){ if(j<k)res+=(tmp%3+1)+3; else res+=tmp%6+1; tmp/=6; } ika[res]++; } for(int i=0;i<60;i++)hu[i+1]+=hu[i]; ld ans=0; for(int i=1;i<61;i++)ans+=ika[i]*hu[i-1]; cout<<fixed<<setprecision(12)<<ans/pw(6,n*2)<<endl; }