#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #define FOR(I,A,B) for(int I = (A); I < (B); ++I) typedef long long ll; int main(){ int N, K; cin >> N >> K; random_device rnd; mt19937 mt(rnd()); uniform_int_distribution<> rand16(1, 6); uniform_int_distribution<> rand46(4, 6); double times = 5000000; double tarowin = 0; FOR(i,0,times){ int taro = 0, jiro = 0; FOR(i,0,N){ jiro += rand16(mt); } FOR(i,0,K){ taro += rand46(mt); } FOR(i,0,N-K){ taro += rand16(mt); } if(taro > jiro) tarowin++; } printf("%.05lf\n", tarowin / times); return 0; }