using System; using System.Diagnostics; using System.Collections.Generic; using System.Linq; using Enu = System.Linq.Enumerable; class Solution { int N, K; double[,] dp1, dp2; void calc() { N = ri(); K = ri(); dp1 = new double[N + 1, N * 6 + 1]; dp2 = new double[N + 1, N * 6 + 1]; dp1[0, 0] = 1.0; dp2[0, 0] = 1.0; for (int n = 0; n < N; n++) { for (int s = 0; s <= N * 6; s++) { for (int i = 1; i <= 6 && s + i <= N * 6; i++) { dp1[n + 1, s + i] += dp1[n, s] / 6.0; } } } for (int n = 0; n < N; n++) { for (int s = 0; s <= N * 6; s++) { if (n < K) { for (int i = 4; i <= 6 && s + i <= N * 6; i++) { dp2[n + 1, s + i] += dp2[n, s] / 3.0; } } else { for (int i = 1; i <= 6 && s + i <= N * 6; i++) { dp2[n + 1, s + i] += dp2[n, s] / 6.0; } } } } var p1 = dp1.ToJagArray()[N]; var p2 = dp2.ToJagArray()[N]; double ans = 0; for (int i = 0; i <= N * 6; i++) { ans += p1[i] * p2.Skip(i + 1).Sum(); } Console.WriteLine(ans); } static void Main(string[] args) { new Solution().calc(); } #region static int ri() { return int.Parse(Console.ReadLine()); } static int[] ria(int n) { if (n <= 0) { Console.ReadLine(); return new int[0]; } else return Console.ReadLine().Trim().Split(' ').Select(int.Parse).ToArray(); } static void rio(out int p1) { p1 = ri(); } static void rio(out int p1, out int p2) { var r = ria(2); p1 = r[0]; p2 = r[1]; } static void rio(out int p1, out int p2, out int p3) { var r = ria(3); p1 = r[0]; p2 = r[1]; p3 = r[2]; } static void rio(out int p1, out int p2, out int p3, out int p4) { var r = ria(4); p1 = r[0]; p2 = r[1]; p3 = r[2]; p4 = r[3]; } static void rio(out int p1, out int p2, out int p3, out int p4, out int p5) { var r = ria(5); p1 = r[0]; p2 = r[1]; p3 = r[2]; p4 = r[3]; p5 = r[4]; } static long rl() { return long.Parse(Console.ReadLine()); } static long[] rla(int n) { if (n <= 0) { Console.ReadLine(); return new long[0]; } else return Console.ReadLine().Trim().Split(' ').Select(long.Parse).ToArray(); } static void rlo(out long p1) { p1 = rl(); } static void rlo(out long p1, out long p2) { var r = rla(2); p1 = r[0]; p2 = r[1]; } static void rlo(out long p1, out long p2, out long p3) { var r = rla(3); p1 = r[0]; p2 = r[1]; p3 = r[2]; } static void rlo(out long p1, out long p2, out long p3, out long p4) { var r = rla(4); p1 = r[0]; p2 = r[1]; p3 = r[2]; p4 = r[3]; } static void rlo(out long p1, out long p2, out long p3, out long p4, out long p5) { var r = rla(5); p1 = r[0]; p2 = r[1]; p3 = r[2]; p4 = r[3]; p5 = r[4]; } static double rd() { return double.Parse(Console.ReadLine()); } static double[] rda(int n) { if (n <= 0) { Console.ReadLine(); return new double[0]; } else return Console.ReadLine().Trim().Split(' ').Select(double.Parse).ToArray(); } static void rdo(out double p1) { p1 = rd(); } static void rdo(out double p1, out double p2) { var r = rda(2); p1 = r[0]; p2 = r[1]; } static void rdo(out double p1, out double p2, out double p3) { var r = rda(3); p1 = r[0]; p2 = r[1]; p3 = r[2]; } static void rdo(out double p1, out double p2, out double p3, out double p4) { var r = rda(4); p1 = r[0]; p2 = r[1]; p3 = r[2]; p4 = r[3]; } static void rdo(out double p1, out double p2, out double p3, out double p4, out double p5) { var r = rda(5); p1 = r[0]; p2 = r[1]; p3 = r[2]; p4 = r[3]; p5 = r[4]; } static void swap(ref T x, ref T y) { T temp = x; x = y; y = temp; } static void wa1(T[] a) { Debug.WriteLine(string.Join(" ", a)); } static void wa2(T[][] a) { foreach (var row in a) { Debug.WriteLine(String.Join(" ", row)); } } #endregion } static class Extention { public static T[][] ToJagArray(this T[,] a) { int n = a.GetLength(0), m = a.GetLength(1); var ret = new T[n][]; for (int i = 0; i < n; i++) { ret[i] = new T[m]; for (int j = 0; j < m; j++) { ret[i][j] = a[i, j]; } } return ret; } }