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 a=new BigDecimal("5.00");
BigDecimal b=new BigDecimal("12.00");
BigDecimal c=new BigDecimal("2.00");
BigDecimal d=new BigDecimal("3.00");
for(int i=0;i<n;i++){
ans=ans.multiply(a).divide(b);
}
for(int i=0;i<k;i++){
ans=ans.multiply(c).divide(d);
}
ans=ans.setScale(5,RoundingMode.HALF_UP);
out.println(ans);
out.flush();
}
}
}