#define _USE_MATH_DEFINES #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; typedef unsigned long long ull; typedef pair i_i; typedef pair ll_i; typedef pair d_i; typedef pair ll_ll; typedef pair d_d; struct edge { int u, v; double w; }; ll MOD = 1000000007; ll _MOD = 1000000009; double EPS = 1e-10; int main() { int N, K; cin >> N >> K; vector dp1(61); dp1[0] = 1; for (int i = 0; i < N; i++) { vector _dp1(61); for (int j = 0; j <= 60; j++) if (dp1[j] > 0) for (int k = 1; k <= 6; k++) _dp1[j + k] += dp1[j] / 6; dp1 = _dp1; } vector dp2(61); dp2[0] = 1; for (int i = 0; i < N - K; i++) { vector _dp2(61); for (int j = 0; j <= 60; j++) if (dp2[j] > 0) for (int k = 1; k <= 6; k++) _dp2[j + k] += dp2[j] / 6; dp2 = _dp2; } for (int i = 0; i < K; i++) { vector _dp2(61); for (int j = 0; j <= 60; j++) if (dp2[j] > 0) for (int k = 4; k <= 6; k++) _dp2[j + k] += dp2[j] / 3; dp2 = _dp2; } double ans = 0; for (int j = 0; j <= 60; j++) for (int _j = j + 1; _j <= 60; _j++) ans += dp1[j] * dp2[_j]; cout << ans << endl; }