#include <bits/stdc++.h>
using namespace std;
int main()
{
    long long n,k,b; //ifstream f("szamok.txt");
    cin>>n>>k>>b; vector<int>a(n);
    for(int i=0; i<n; i++){cin>>a[i];}
    sort(a.begin(),a.end());
    a.push_back(2147483647);
    long long p=b,s=0,mod=1000000007;
    while(a[p]<0 && p<n){s+=a[p]; a[p]=0; p++;}
    k+=s; int maxind=b;
    if(k>=0){
        while(k>0){
            p=maxind;
            while(a[p]==a[p+1] && p<n){p++;}
            maxind=p;
            for(int i=maxind; i>=b; i--){a[i]++; k--;
                if(k==0)break;}}
        p=1;
        for(int i=0; i<n; i++){p=p*a[i]%mod;}
        cout<<p<<endl;}
    else cout<<-1<<endl;
    return 0;
}