#include #include #include // #include #include #include #include #include #include using namespace std; typedef long long ll; #define rep(i,k,n) for(ll i=k; i<(ll)(n); i++) double dp1[11][61],dp2[11][61]; int main(){ ll n,k; cin >> n >> k; dp1[0][0] = dp2[0][0] = 1.0; for(ll i=1; i<=k; i++) { for(ll j=1; j<61; j++) { for(ll k=4; k<=6; k++) { if(j-k>=0) { dp1[i][j] += dp1[i-1][j-k]/3; } } } } for(ll i=k+1; i<=n; i++) { for(ll j=1; j<61; j++) { for(ll k=1; k<=6; k++) { if(j-k>=0) { dp1[i][j] += dp1[i-1][j-k]/6; } } } } for(ll i=1; i<=n; i++) { for(ll j=1; j<61; j++) { for(ll k=1; k<=6; k++) { if(j-k>=0) { dp2[i][j] += dp2[i-1][j-k]/6; } } } } double ans = 0; for(ll i=1; i<=61; i++) { for(ll j=i-1; j>=0; j--) { ans += dp1[n][i] * dp2[n][j]; } } cout << ans << endl; return 0; }