#include<bits/stdc++.h>
using lint=long long;
int main(){
    std::cin.tie(nullptr);std::ios_base::sync_with_stdio(false);
    std::cout.setf(std::ios_base::fixed);std::cout.precision(15);
    lint n,K;std::cin>>n>>K;
    std::vector<double>a(6*n+1),b(6*n+1);
    a.at(0)=1;
    for(lint i=0;i<n;i++){
        for(lint j=6*i;j>=0;j--){
            for(lint k=1;k<=6;k++){
                a.at(j+k)+=a.at(j)/6;
            }
            a.at(j)=0;
        }
    }
    b.at(0)=1;
    for(lint i=0;i<n;i++){
        for(lint j=6*i;j>=0;j--){
            if(i<K){
                for(lint k=4;k<=6;k++){
                    b.at(j+k)+=b.at(j)/3;
                }
            }else{
                for(lint k=1;k<=6;k++){
                    b.at(j+k)+=b.at(j)/6;
                }
            }
            b.at(j)=0;
        }
    }
    std::partial_sum(a.begin(),a.end(),a.begin());
    double ans=0;
    for(lint i=1;i<=6*n;i++){
        ans+=a.at(i-1)*b.at(i);
    }
    std::cout<<ans<<'\n';
}