#include #define rep(i,a,n) for(int i=a;i=b;i--) #define all(a) a.begin(),a.end() #define o(a) cout< vi; typedef vector vvi; typedef pair pii; double dp1[100],dp2[100]; signed main(){ int n,k; cin>>n>>k; memset(dp1,0.0,sizeof(dp1)); memset(dp2,0.0,sizeof(dp2)); dp1[0]=1; dp2[0]=1; rep(i,0,n){ repb(j,60,0){ rep(l,1,7){ dp2[j+l]+=dp2[j]/6.0; } dp2[j]=0; } } rep(i,k,n){ repb(j,60,0){ rep(l,1,7){ dp1[j+l]+=dp1[j]/6.0; } dp1[j]=0; } } rep(i,0,k){ repb(j,60,0){ rep(l,4,7){ dp1[j+l]+=dp1[j]/3.0; } dp1[j]=0; } } double ans=0.0; rep(i,1,100){ rep(j,1,i){ ans+=dp1[i]*dp2[j]; } } printf("%.10lf\n", ans); }