#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
int n,m;
int d[10];
unordered_map<ull,double> mp;
ull H(const vector<int> &a,const vector<int> &b){
    ull t=0;
    for(int i=0;i<(int)a.size();++i){
        t=t*11+a[i];
    }
    for(auto x:b)
    {
        t=t*13131331+x;
    }
    return t;
}
double dfs(const vector<int> &a,const vector<int> &b,int m){
    if(!m)return 0;
    // auto now=make_pair(H(a),H(b));
    auto now=H(a, b);
    if(mp.count(now))return mp[now];
    int k=a.size();
    double mx=0;
    for(int i=0;i<k;++i){
        int sum=0;
        double zz=0;
        if(i>0&&a[i]==a[i-1])continue;
        double las=0;int lasto=0;
        for(int j=0;j<k;++j){
            if(b[j]<=a[i])continue;
            double tmp=0;
            
            if(j>0&&b[j]==b[j-1]){
                tmp=las;
            }
            else{
                int z=0;
                int o=1;

                auto a0=a;
                auto b0=b;
                a0.erase(a0.begin()+i);
                b0.erase(b0.begin()+j);
                for(int p=0,q=0;p<k-1;++p){
                    while(q<k-1&&b0[q]>a0[p])++q;
                    if(q<=p){
                        o=0;
                        break;
                    }
                    o*=(q-p);
                }
                lasto=o;
                if(o){
                    if(b[j]==a[i]+1){
                        tmp=las=(dfs(a0,b0,m-1)+1)*o;
                    }
                    else{
                        auto A=a;
                        ++A[i];
                        tmp=las=dfs(A,b,m-1)*o;
                    }
                }
                else{
                    tmp=las=0;
                }
            }
            zz+=tmp;
            sum+=lasto;
        }
        mx=max(mx,zz/sum);
    }
    return mp[now]=mx;
}
int main(){
    ios::sync_with_stdio(false);
    cin.tie(0);
    cout.setf(ios::fixed);
    cout.precision(10);
    cin>>n>>m;
    for(int i=0;i<n;++i){
        cin>>d[i];
    }
    vector<int> a(n),b(n);
    for(int i=0;i<n;++i){
        b[i]=d[i];
    }
    sort(b.begin(),b.end(),greater<int>());
    cout<<dfs(a,b,m)<<'\n';
   // cerr<<" size: "<<mp.size()<<endl;
    return 0;
}