#include<stdio.h>
#include<stdlib.h>
#include<time.h>

void run(void){
  int n,k;
  scanf("%d%d",&n,&k);

  srand((unsigned)time(NULL));

  const int m=1000000;
  int win=0;
  int i;
  for(i=0;i<m;i++){
    int j;
    int t=0;
    for(j=0;j<n;j++){
      t+=rand()%6;
    }
    int s=0;
    for(j=0;j<n-k;j++){
      s+=rand()%6;
    }
    for(j=0;j<k;j++){
      s+=rand()%3+3;
    }
    win+=(s>t);
  }
  printf("%.4lf\n",(double)win/m);
  return;
}

int main(void){
  run();
  return 0;
}