#include #include int main() { int N; std::cin >> N; int K; std::cin >> K; double dp[61][61]; if(K==0) { for(int i=1;i<=6;i++) { dp[1][i] = 1./6.; } } else { for(int i=1;i<=3;i++) { dp[1][i] = 0; } for(int i=4;i<=6;i++) { dp[1][i] = 2./6.; } } for(int i=7;i<=N;i++) { dp[1][i] = 0; } for(int i=2;i<=N;i++) for(int j=1;j<=6*N;j++) { dp[i][j] = 0; if(i <= K) { for(int j2=4;j2<=6;j2++) { if(j-j2>=1) dp[i][j] += dp[i-1][j-j2]/3.; } } else { for(int j2=1;j2<=6;j2++) { if(j-j2>=1) dp[i][j] += dp[i-1][j-j2]/6.; } } } double p1[61]; for(int i=1;i<=6*N;i++) { p1[i] = 0; } for(int i=1;i<=6*N;i++) { p1[i] += dp[N][i]; } for(int i=1;i<=6;i++) { dp[1][i] = 1./6.; } for(int i=7;i<=N;i++) { dp[1][i] = 0; } for(int i=2;i<=N;i++) for(int j=1;j<=6*N;j++) { dp[i][j] = 0; for(int j2=1;j2<=6;j2++) { if(j-j2>=1) dp[i][j] += dp[i-1][j-j2]/6.; } } double p2[61]; for(int i=1;i<=6*N;i++) { p2[i] += dp[N][i]; } double prob = 0; for(int n1=0 ; n1<=6*N ; n1++) for(int n2=0 ; n2