#include<bits/stdc++.h>
#define int long long
#define double long double
using namespace std;
int n,d[12],k,a[12];
unordered_map<int,double>mp;
int clc(int S){
	int j=0,k=0,s=1;
	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 n-t+1;
	int c=S;
	for(int i=1;i<=n;i++) c=c*15+a[i];
	if(mp[c]) return mp[c];
	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,ox;
			int op=clc(S),c=0;
			if(op) res+=dfs(x+1,t,S)*op/tot;
			for(int j=0;j<n;j++){
				if((~S>>j&1)&&d[j]==a[i]){
					if(c) res+=ox;
					else{
						for(int k=i;k<=t;k++) a[k]=a[k+1];
						op=clc(S|(1<<j));
						if(op) res+=ox=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],c=1;
					}
				}
			}
			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);
}