using System; using System.Collections.Generic; using System.Linq; using System.Text; using System.Threading.Tasks; namespace foryuki { class Program { static void Main(string[] args) { Random r = new Random(); int N = int.Parse(Console.ReadLine()); int K = int.Parse(Console.ReadLine()); //二郎 double k1; //太郎 double k2; double cnt = 0; for (int i = 0; i < 800000; i++) { k1 = 0; k2 = 0; for (int j = 0; j < N; j++) { k1 += r.Next(1, 7); if (j < K) { k2 += r.Next(4, 7); } else { k2 += r.Next(1, 7); } } if (k1 < k2) { cnt++; } } double ans = cnt / 800000; Console.WriteLine(ans); Console.ReadLine(); } //------------------------------------------------------------- static int[] ConvertStringArrayToIntArray(string[] str, int defaultValue) { int[] b = Array.ConvertAll(str, delegate(string value) { return int.Parse(value); }); for (int i = 0; i < b.Length; i++) { b[i] = defaultValue; } return b; } } }