#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'; }