#include <fstream>
#define nmax 30
using namespace std;
fstream f1("dezastru.in", ios::in);
fstream f2("dezastru.out", ios::out);
int n, m, viz[nmax], v[nmax];
long double p[nmax], rez, prod;
void bkt(int k)
{
    int i;
    for(i=1; i<=n; i++)
        if(!viz[i])
    {
        v[k]=i;
        viz[i]=1;
        if(k<=n)
        {
            if(k==n)
            {
                prod=1.0;
                for(int j=1; j<=m; j++)
                  prod*=p[v[j]];
                rez+=prod;
            }
            else bkt(k+1);
        }
        viz[i]=0;
    }
}
int main()
{
    int i;
    f1>>n>>m;
    for(i=1; i<=n; i++) f1>>p[i];
    bkt(1);
    f2<<rez/6.0;
    return 0;
}