import java.io.*;
import java.math.BigDecimal;
import java.math.RoundingMode;

class Main{

static final PrintWriter out=new PrintWriter(System.out);

public static void main(String[] args) throws IOException{
BufferedReader br=new BufferedReader(new InputStreamReader(System.in));
String line="";
while((line=br.readLine())!=null&&!line.isEmpty()){
int n=Integer.parseInt(line);
int k=Integer.parseInt(br.readLine());
n-=k;
BigDecimal ans=new BigDecimal("1.00");
BigDecimal lose=new BigDecimal("1.00");
BigDecimal a=new BigDecimal("7.00");
BigDecimal b=new BigDecimal("12.00");
BigDecimal c=new BigDecimal("1.00");
BigDecimal d=new BigDecimal("3.00");
if(n!=0){
for(int i=0;i<n;i++){
lose=lose.multiply(a).divide(b,20,RoundingMode.HALF_UP);
}
}
if(k!=0){
for(int i=0;i<k;i++){
lose=lose.multiply(c).divide(d,20,RoundingMode.HALF_UP);
}
}
ans=ans.subtract(lose);
ans=ans.setScale(20,RoundingMode.HALF_UP);
out.println(ans);
out.flush();
}
}
}