#include <iostream>
#include <vector>
#include <queue>
using namespace std;

long long mod=1000000007;


int main()
{
    int n,k,b;
    cin>>n>>k>>b;
    priority_queue<int> negativ,poz;
    int x;
    for(int i=0;i<n;i++)
        {
        cin>>x;
        if(x>-1)
            {
            poz.push(x*-1);
            }
        else
            {
            negativ.push(x);
            }
        }
    if(negativ.size()<b)
        {
        cout<<-1;
        return 0;
        }
    if(negativ.size() == b && n!=b)
        {
        while(k--)
            {
            x=poz.top()*-1;poz.pop();
            x++;
            poz.push(x*-1);
            }
        }
    else if(negativ.size() > b)
        {
        while(negativ.size()!=b && negativ.size()>0)
            {
            k+=negativ.top();
            if(k<0)
                {
                cout<<-1;
                return 0;
                }
            poz.push(0);
            negativ.pop();
            }
        while(k-- && !poz.empty())
            {
            x=poz.top()*-1;poz.pop();
            x++;
            poz.push(x*-1);
            }
        }
    else if(n==b)
        {
        priority_queue<int> minn;
        while(!negativ.empty())
            {
            minn.push(negativ.top()*-1);negativ.pop();
            }
        while(k > 0 && minn.top()!=1)
            {
            k--;
            x=minn.top()*-1;minn.pop();
            x++;
            minn.push(x*-1);
            }
        if(minn.top() == 1 && k>0)
            {
            cout<<-1;
            return 0;
            }
        while(!minn.empty())
            {
            negativ.push(minn.top()*-1);minn.pop();
            }
        }
    long long ans=1;
    while(!poz.empty())
        {
        ans *=  (-poz.top() % mod);
        ans = ans % mod;
        poz.pop();
        }
    while(!negativ.empty())
        {
        ans*=negativ.top();
        ans = ans % mod;
        negativ.pop();
        }
    cout<<ans;
    return 0;
}