#include <iostream>
#include <random>
#include <ctime>
using namespace std;

static const int INF = 1000000000;

int main()
{
	random_device rd;
	int N, K;
	cin >> N >> K;

	clock_t start = clock();
	int A = 0, B = 0;
	while (B <= INF && clock() - start < 4700)
	{
		int a = 0, b = 0;
		for (int i = 0; i < N; ++i)
			b += rd() % 6 + 1;
		for (int i = 0; i < K; ++i)
			a += rd() % 3 + 4;
		for (int i = 0; i < N - K; ++i)
			a += rd() % 6 + 1;

		if (a > b)
			++A;
		++B;
	}

	cout << (double)A / (double)B << endl;

	return 0;
}