#include <bits/stdc++.h>
#define rep(i,n) for(int i = 0; i < (n); i++)
using namespace std;
typedef long long ll;

int main(){
    cin.tie(0);
    ios::sync_with_stdio(0);

    int N,K; cin >> N >> K;
    using ld = long double;
    int M = 6 * N;
    vector<ld> dp1(M + 1, 0), dp2(M + 1, 0);
    dp1[0] = dp2[0] = 1.0;
    
    for(int i = 1; i <= N; i++) {
        vector<ld> nt(M + 1, 0);
        for(int x : {1, 2, 3, 4, 5, 6})
            for(int s = 0; s <= M; s++) if(s + x <= M)
                    nt[s + x] += dp1[s] / 6.0;
        swap(dp1, nt);
    }

    for(int i = 1; i <= N; i++) {
        vector<ld> nt(M + 1, 0);
        if(i <= K) {
            for(int x : {4, 4, 5, 5, 6, 6})
                for(int s = 0; s <= M; s++) if(s + x <= M)
                    nt[s + x] += dp2[s] / 6.0;
        } else {
            for(int x : {1, 2, 3, 4, 5, 6})
                for(int s = 0; s <= M; s++) if(s + x <= M)
                    nt[s + x] += dp2[s] / 6.0;
        }
        swap(dp2, nt);
    }

    ld ans = 0;
    for(int i = 1; i <= M; i++)
        for(int j = 1; j < i; j++)
            ans += dp1[j] * dp2[i];
    
    cout << fixed << setprecision(20) << ans << endl;
}