// yukicoder: No.58 イカサマなサイコロ
// 2019.8.22 bal4u

#include <stdio.h>

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