#include <iostream>
#include <bits/stdc++.h>
#include<queue>

using namespace std;

int main()
{
    int n, k, a, d=1, ne=0, b;
    cin>>n>>k>>b;
    priority_queue <int, vector<int>, greater<int>> kevin;
    priority_queue <int, vector<int>, greater<int>> bence;
    for(int i=0; i<n; i++){
        cin>>a;
        kevin.push(a);
        if(a<0){
            ne++;
        }
    }
    if(ne<b){
        cout<<"-1";
        return 0;
    }
    for(int i=0; i<b; i++){
        bence.push(kevin.top());
        kevin.pop();
        }
    if(kevin.size()==0){
        for(int i=0; i<k; i++){
        bence.push(bence.top()+1);
        if(bence.top()==-1){
            cout<<-1;
            return 0;
        }
        bence.pop();
    }
    }
    for(int i=0; i<k; i++){
        kevin.push(kevin.top()+1);
        kevin.pop();
    }
    while(bence.size()>0){
        d*=bence.top()%1000000007;
        bence.pop();
    }
    while(kevin.size()>0){
        d*=kevin.top()%1000000007;
        kevin.pop();
    }
    cout<<d;
}