#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;
    vector<int> bence(b);
    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[i]=kevin.top();
        kevin.pop();
        }
    for(int i=0; i<k; i++){
        kevin.push(kevin.top()+1);
        kevin.pop();
    }
    for(auto x:bence){
        d*=x%1000000007;
    }
    while(kevin.size()>0){
        d*=kevin.top()%1000000007;
        kevin.pop();
    }
    cout<<d;
}