#include<bits/stdc++.h>
using namespace std;
constexpr int M=(1<<15)+5;
int n,m,lim,a[M],sum[M];
double ans,c[105][105],dp[M][105],coef[M][105];
int main(){
    scanf("%d%d",&n,&m);lim=(1<<n)-1;
    for (int i=0;i<n;i++) scanf("%d",&a[i]);
    for (int i=0;i<=m;i++)
        for (int j=c[i][0]=1;j<=i;j++)
            c[i][j]=c[i-1][j]+c[i-1][j-1];
    for (int i=dp[0][0]=1;i<=m;i++)
        dp[0][i]=dp[0][i-1]/n;
    coef[0][0]=1;
    for (int sta=1;sta<=lim;sta++){
        int low=sta&-sta,p=__builtin_ctz(sta);
        int cnt=n-__builtin_popcount(sta);
        sum[sta]=sum[sta^low]+a[p];
        for (int i=0;i<n;i++) if (sta>>i&1)
            for (int j=sum[sta];j<=m;j++)
                dp[sta][j]+=dp[sta^1<<i][j-1]/(cnt+1)*c[j-sum[sta^1<<i]-1][a[i]-1];
        for (int i=sum[sta];i<=m;i++)
            dp[sta][i]+=dp[sta][i-1]/cnt;
        for (int i=0;i<a[p];i++)
            for (int j=0;i+j<=m;j++)
                coef[sta][i+j]+=c[i+j][j]*coef[sta^low][j];
    }
    for (int sta=1;sta<=lim;sta++) if (sum[sta]<=m)
        ans+=__builtin_popcount(sta)*dp[sta][m]*coef[lim^sta][m-sum[sta]];
    printf("%.12lf\n",ans);
    return 0;
}