i,j,k,s,t;main(n){for(scanf("%d%d",&n,&k);i++<1e6;s+=t>0)for(t=j=0;j<n;t-=rand()%6-(j++<k?rand()%3+3:rand()%6));i=!printf("%f",s/1e6);}