#include <iostream>
#include <iomanip>
using namespace std;
int main() {
	cin.tie(0); ios::sync_with_stdio(false);
	int N, K; cin >> N >> K;
	double ans = 0;
	double dp[2][11][61] = { 0 };
	dp[0][0][0] = dp[1][0][0] = 1;
	for (int i = 0; i < N; i++) {
		for (int j = 0; j < 61;j++) {
			for (int k = 1; k <= 6;k++) {
				if (j + k > 60) { break; }
				dp[0][i + 1][j + k] += dp[0][i][j] / 6.0;
			}
		}
	}

	for (int i = 0; i < N;i++) {
		for (int j = 0; j < 61;j++) {
			if (i < N - K) {
				for (int k = 1;k <= 6;k++) {
					if (j + k > 60) { break; }
					dp[1][i + 1][j + k] += dp[1][i][j] / 6.0;
				}
			}
			else {
				for (int k = 4; k <= 6; k++) {
					if (j + k > 60) { break; }
					dp[1][i + 1][j + k] += dp[1][i][j] / 3.0;
				}
			}
		}
	}
	for (int i = 1; i < 61;i++) {
		for (int j = 0; j < i;j++) {
			ans += dp[0][N][j] * dp[1][N][i];
		}
	}
	cout << fixed << ans << endl;
	return 0;
}