#include using namespace std; #define int long long //#define uint __int128_t #define pb push_back #define fi first #define se second #define rep(i,s,n) for(int i = s;i=(s);i--) #define all(v) (v).begin(),(v).end() #define chmin(a,b) a=min((a),(b)) #define chmax(a,b) a=max((a),(b)) #define low(a,b) lower_bound(all(a),(b)) #define upp(a,b) upper_bound(all(a),(b)) #define fill(i,n) memset(i,n,sizeof(i)) #define endl '\n' #define IOS() ios_base::sync_with_stdio(0);cin.tie(0) typedef long long ll; typedef pairpint; typedef vectorvint; typedef vector vvint; typedef vectorvpint; typedef pair P1; typedef pair P2; typedef pair PP; static const ll maxLL = (ll)1 << 62; const ll MOD=1000000007; const ll INF=1e18; int N,K; double dp1[100010]; double dp2[100010]; signed main() { IOS(); //(1ll<>N>>K; dp1[0]=dp2[0]=1; rep(i,1,N+1){ rrep(j,0,91){ rep(k,1,7){ dp1[j+k]+=dp1[j]/6; } if(i<=K){ rep(k,4,7){ dp2[j+k]+=dp2[j]/3; } }else{ rep(k,1,7){ dp2[j+k]+=dp2[j]/6; } } dp1[j]=dp2[j]=0; } } double ans=0; rep(i,0,111){ rep(j,i+1,111){ ans+=dp1[i]*dp2[j]; } } cout<