// yukicoder: No.58 イカサマなサイコロ // 2019.8.22 bal4u #include #define LOOP 200000 int N, K; int B[6] = {4,5,6,4,5,6}; // 32ビット乱数を生成する unsigned int xorshift(void) { static unsigned int y = 2463534242; y = y ^ (y << 13); y = y ^ (y >> 17); y = y ^ (y << 5); return y; } int setup(int k) { int n = N-k, s = 0; while (n--) s += 1 + xorshift() % 6; while (k--) s += B[xorshift() % 6]; return s; } int main() { int loop, ans; scanf("%d%d", &N, &K); ans = 0, loop = LOOP; while (loop--) { if (setup(K) > setup(0)) ans++; } ans = (ans+50)*10000 / LOOP; if (ans >= 10000) puts("1.0000"); else printf("0.%04d\n", ans); return 0; }