#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);
    std::mt19937_64 mt{std::random_device{}()};
    lint n,k;std::cin>>n>>k;
    lint win=0,lose=0;
    for(lint t=0;t<10'000'000;t++){
        lint a=0,b=0;
        for(lint i=0;i<n;i++){
            a+=1+mt()%6;
        }
        for(lint i=0;i<n;i++){
            b+=1+(i<k?mt()%3+3:mt()%6);
        }
        (a<b?win:lose)++;
    }
    std::cout<<(double)win/(win+lose)<<'\n';
}