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

using namespace std;
using ll = long long int ;
const ll mod = 1e9 + 7 ;

int main()
{
    ll n , k , b ;
    cin >> n >> k >> b ;

    priority_queue<ll> pq1 ;
    priority_queue<ll , vector<ll> , greater<ll> > pq2 ;

    while(n--)
    {
        ll a ;
        cin >> a ;

        if(a < 0)
            pq1.push(a) ;
        else
            pq2.push(a) ;
    }

    if(pq1.size() < b)
    {
        cout << -1 ;
        return 0 ;
    }

    while(pq1.size() != b)
    {
        k += pq1.top() ;
        pq2.push(0) ;

        pq1.pop() ;
    }

    if(k < 0)
    {
        cout << -1 ;
        return 0 ;
    }

    while(k > 0 && !pq2.empty())
    {
        ll a = pq2.top() ;
        pq2.pop() ;

        ++a ;
        pq2.push(a) ;
        k-- ;
    }

    if(k > 0)
    {
        priority_queue<ll , vector<ll> , greater<ll> > pq3 ;
        while(!pq1.empty())
        {
            pq3.push(pq1.top()) ;
            pq1.pop() ;
        }

        while(k--)
        {
            ll a = pq3.top() ;
            pq3.pop() ;

            a++ ;
            if(a == 0)
            {
                cout << -1 ;
                return 0 ;
            }
            pq3.push(a) ;
        }

        while(!pq3.empty())
        {
            pq1.push(pq3.top()) ;
            pq3.pop() ;
        }
    }

    ll ans = 1 ;
    while(!pq1.empty())
    {
        ans *= abs(pq1.top()) ;
        ans %= mod ;
        pq1.pop() ;
    }

    while(!pq2.empty())
    {
        ans *= abs(pq2.top()) ;
        ans %= mod ;
        pq2.pop() ;
    }

    cout << ans ;

    return 0;
}