import java.util.Scanner; public class No58 { public static void main(String[] args) { Scanner scanner = new Scanner(System.in); int n = scanner.nextInt(); int k = scanner.nextInt(); scanner.close(); int[] diceJiro = new int[n+1]; diceJiro[0] = 1; int[] KumiawaseJiro = new int[6*n+1]; KumiawaseJiro = calcKumiawase(1, diceJiro, KumiawaseJiro , 0); int[] KumiawaseTaroNormal = new int[6*(n-k)+1]; if(n-k > 0) { int[] diceTaroNormal = new int[n-k+1]; diceTaroNormal[0] = 1; KumiawaseTaroNormal = calcKumiawase(1, diceTaroNormal, KumiawaseTaroNormal,0); } int[] KumiawaseTaroIkasama = new int[6*k+1]; if(k > 0) { int[] diceTaroIkasama = new int[k+1]; diceTaroIkasama[0] = 4; KumiawaseTaroIkasama = calcKumiawase(1, diceTaroIkasama, KumiawaseTaroIkasama , k); } int[] KumiawaseTaro = new int[6*n+1]; if(k == 0) { KumiawaseTaro = KumiawaseTaroNormal; }else if(k == n) { KumiawaseTaro = KumiawaseTaroIkasama; }else { for(int i = 1;i < KumiawaseTaroNormal.length;i++) { for(int j = 1;j < KumiawaseTaroIkasama.length;j++ ) { KumiawaseTaro[i+j] += KumiawaseTaroNormal[i] * KumiawaseTaroIkasama[j]; } } } double[] KakuritsuJiro = new double[6*n+1]; double[] Kakuritsu = new double[6*n+1]; for(int i = n+1;i <= 6*n;i++) { KakuritsuJiro[i] = KakuritsuJiro[i-1] + (double)KumiawaseJiro[i-1] / Math.pow(6, n); Kakuritsu[i]= Kakuritsu[i-1] + KakuritsuJiro[i] * KumiawaseTaro[i] / Math.pow(6, n); } System.out.println(Kakuritsu[6*n]); } public static int[] calcKumiawase(int t , int[] dice ,int[] Kumiawase , int k) { for(int i = dice[t-1];i <= 6;i++) { dice[t] = i; if(t== dice.length-1) { int dicesum = 0; for(int j = 1;j < dice.length;j++) { dicesum += dice[j]; } Kumiawase[dicesum] += calcC(dice) * Math.pow(2, k); }else { Kumiawase = calcKumiawase(t+1, dice, Kumiawase , k); } } return Kumiawase; } public static int calcC(int[] dice) { int c = 1; int[] num = new int[6]; for(int i = 1;i <= dice.length-1 ;i++) { num[dice[i]-1] += 1; } for(int n : num) { c *= kai(n); } return kai(dice.length-1) / c; } public static int kai(int k) { int p = 1; for(int i = 1;i <= k;i++) { p *= i; } return p; } }