#include <bits/stdc++.h>
using namespace std;
int main()
{
    int n,b; long long k;
    cin>>n>>k>>b; vector<int>a(n);
    for(int i=0; i<n; i++)cin>>a[i];
    sort(a.begin(),a.end()); const int c=b;
    if(b!=0 && a[b-1]>=0){cout<<-1; return 0;}
    if(n==b)b=0;
    if(a[b+1]-a[b]<k){
        int r=b+1;
        while(k-(r-b)*(a[r]-a[r-1])>=0 && r<n){
            k-=(r-b)*(a[r]-a[r-1]); r++;}
        r--;
        for(int i=b; i<r; i++)a[i]=a[r];
        for(int i=b; i<=r; i++)a[i]+=k/(r-b+1);
        k=k%(r-b+1);
        for(int i=b; i<b+k; i++)a[i]++;}
    else a[b]+=k;
    if(n==c){
        for(int i=0; i<n; i++){
            if(a[i]>=0){cout<<-1; return 0;}}}
    else if(a[b]<0){cout<<-1; return 0;}
    long long s=1; int mod=1000000007;
    for(int i=0; i<n; i++)s=(s*a[i])%mod;
    cout<<s;
    return 0;
}