#include<iostream>
#include<cstdio>
#include<cstdlib>

using namespace std;

int main(){

	srand(2);

	int xi[]={1,2,3,4,5,6};
	int ixi[]={4,5,6,4,5,6};
	int N,K;
	int tw=0,zw=0;
	int i=0;

	cin>>N>>K;

	while(i<20000000){
		int tp=0,zp=0;
		for(int i=0;i<N;i++){
			if(i<K) tp+=ixi[rand()%6];
			else tp+=xi[rand()%6];
			zp+=xi[rand()%6];
		}
		if(tp>zp) tw++;
		else zw++;

		i++;
	}
	printf("%.3f\n",(double)tw/(tw+zw));
}