// Source: https://usaco.guide/general/io

#include <bits/stdc++.h>
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace std;
using namespace __gnu_pbds;
using namespace std;
#define int long long

template<typename T>
using ordered_set = tree<T, null_type, less_equal<T>, rb_tree_tag, tree_order_statistics_node_update>;

const int INF = 1e12;
const int MOD=1e9+7;

signed main(){
    int n,k,b;cin>>n>>k>>b;
    ordered_set<int> s;
    for(int i = 0;i<n;i++){
        int a;cin>>a;
        if(b==n)s.insert(-a);
        else s.insert(a);
    }
    if(b==n)b=0;
    while(k>0){
        auto it=s.find_by_order((b==0?0:b+1));
        int value=*it;
        s.erase(it);
        s.insert(value+1);
        k--;
    }
    if(*s.find_by_order(b+1)<0||b>0&&*s.find_by_order(b)>=0){
        cout<<-1;return 0;
    }
    int num=1;
    for(auto x:s)num=(num*x)%MOD;
    cout<<num<<endl;

}