#include<bits/stdc++.h>
#define int long long
#define double long double
using namespace std;
int n,d[12],k,a[12],T;
unordered_map<int,double>mp;
int clc(int S){
	int j=0,k=0,s=1;
	T++;
	for(int i=0;i<n;i++) if(~S>>i&1){
		while(a[j+1]<d[i]) j++;
		s*=j-k++;
	}
	return s;
}
double dfs(int x,int t,int S){
	if(x==k) return __builtin_popcount(S)+1;
	int c=S;
	for(int i=1;i<=n;i++) c=c*10+a[i];
	if(mp[c]) return mp[c];
	T++;
	int tot=clc(S);
	double ans=0;
	for(int i=1;i<=n;i++){
		if(a[i]<a[i+1]){
			a[i]++;
			double res=0;
			int op,tt=0;
			for(int j=0;j<n;j++) if(~S>>j&1) if(d[j]==a[i]) tt++;
			if(!tt) op=tot;
			else op=clc(S);
			if(op) res+=dfs(x+1,t,S)*op/tot;
			if(!tt) goto ed;
			op=tot-op;
			if(!op) goto ed;
			for(int j=0;j<n;j++){
				if(~S>>j&1){
					if(d[j]==a[i]){
						for(int k=i;k<=t;k++) a[k]=a[k+1];
						if(op) res+=dfs(x+1,t-1,S|(1<<j))*op/tot;
						for(int k=t;k>i;k--) a[k]=a[k-1];
						a[i]=d[j];
						break;
					}
				}
			}
			ed:;
			ans=max(ans,res);
			a[i]--;
		}
	}
	return mp[c]=ans;
}
signed main(){
	cin>>n>>k;
	for(int i=0;i<n;i++) cin>>d[i];
	sort(d,d+n);
	a[n+1]=10;
	printf("%.10Lf\n",dfs(0,n,0)-1);
}