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 < 500000; 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 / 500000;

            Console.WriteLine(ans);
            Console.ReadLine();
        }




        //-------------------------------------------------------------

        static int[] ConvertStringArrayToIntArray(string[] str, int defaultValue)
        {
            int[] b = Array.ConvertAll<string, int>(str, delegate(string value)
                {
                    return int.Parse(value);
                });

            for (int i = 0; i < b.Length; i++)
            {
                b[i] = defaultValue;
            }
            return b;
        }
    }
}