#include <stdio.h>
#include <algorithm>
#include <utility>
#include <functional>
#include <cstring>
#include <queue>
#include <stack>
#include <cmath>
#include <iterator>
#include <vector>
#include <string>
#include <set>
#include <iostream>
#include <random>
#include <map>
#include <iomanip>
#include <stdlib.h>
#include <list>
#include <typeinfo>
#include <list>
#include <set>
#include <cassert>
#include <fstream>
#include <unordered_map>
#include <cstdlib>
#include <complex>
#include <cctype>
#include <bitset>
using namespace std;

using ll = long long;
using vll = vector<ll>;
using pll = pair<ll, ll>;
using qll = queue<ll>;
using vb = vector<bool>;
using mll = map<ll, ll>;
using sll = stack<ll>;
#define REP(i,n) for(ll i(0);(i)<(n);(i)++)
#define rep(i,n) for(ll i(0);(i)<(n);(i)++)
#define ALL(a) a.begin(), a.end()
#define enld endl //* missspell check
const ll INF = 1LL << 59;


struct edgeForFlow{ll to, cap, rev; }; //! cap: may change; rev: pointer in G[to]

void addEdgeForFlow(vector<vector<edgeForFlow>> &G, ll from, ll to, ll cap){
    G[from].push_back((edgeForFlow){ to, cap,  (ll) G[to].size()});
    G[to].push_back((edgeForFlow) { from, 0, (ll) G[from].size()-1});
}

ll dfsFordFulkson(vector<vector<edgeForFlow>> &G, vb &checked, ll v, ll t, ll f){
    //* v: current vertex, t: sink, f: DELTA of this path. (No need for source)
    if(v == t) return f;
    checked[v] = true;
    REP(i, G[v].size()){
        edgeForFlow &e = G[v][i];
        if(!checked[e.to] && e.cap > 0){
            ll d = dfsFordFulkson(G, checked, e.to, t, min(f, e.cap));
            if(d > 0){
                e.cap -= d;
                G[e.to][e.rev].cap += d;
                return d;
            }
        }
    }
    return 0; //* if no valid outgoing edges
}

ll maxFlowFordFulkson(vector<vector<edgeForFlow>> &G, ll s, ll t){
    vb checked(G.size());
    ll flow = 0;
    for(;;){
        fill(ALL(checked), false);
        ll f = dfsFordFulkson(G, checked, s, t, INF);
        if(f == 0) 
            return flow;
        flow += f;
    }
}

void bfsDinic(vector<vector<edgeForFlow>> &G, vll &level, ll s){
    fill(ALL(level), -1);
    queue<ll> que;
    level[s] = 0;
    que.push(s);
    while(!que.empty()){
        ll v = que.front(); que.pop();
        for(ll i=0; i< G[v].size(); i++){
            edgeForFlow &e = G[v][i];
            if(e.cap > 0 && level[e.to] < 0){
                level[e.to] = level[v] + 1;
                que.push(e.to);
            }
        }
    }
}

ll dfsDinic(vector<vector<edgeForFlow>> &G, vll &level, vll &iter, ll v, ll t, ll f){
    //? iter: record where have been searched?
    //* v: current vertex, t: sink, f: DELTA of this path. (No need for source)
    if(v == t) return f;
    for( ll &i = iter[v]; i < G[v].size(); i++){
        edgeForFlow &e = G[v][i];
        if( e.cap > 0 && level[v] < level[e.to]){
            ll d = dfsDinic(G, level, iter, e.to, t, min(f, e.cap));
            if(d > 0){
                e.cap -= d;
                G[e.to][e.rev].cap += d;
                return d;
            }
        }
    }
    return 0; //* if no valid outgoing edges
}

ll maxFlowDinic(vector<vector<edgeForFlow>> &G, ll s, ll t){
    vll level(G.size()), iter(G.size());
    ll flow = 0;
    for(;;){
        bfsDinic(G, level, s);
        if(level[t] < 0)//* sink t is not reachable from s on current residual graph
            return flow;
        fill(ALL(iter), 0);
        ll f;
        while((f = dfsDinic(G, level, iter, s, t, INF)) > 0){
            flow += f;
        }
    }
}

void solve(long long N, long long A, long long B, std::vector<long long> p){
    vector<vector<edgeForFlow>> G(2*N+2);
    ll s = 2*N, t = 2*N+1;
    REP(i, N){
        addEdgeForFlow(G, s, i, A);
        addEdgeForFlow(G, i+N, t, B);
    }
    for(ll i=0; i< N; i++){
        for(ll j = i+1; j < N; j++){
            ll u = p[i], v = p[j];
            if(p[i] > p[j]) addEdgeForFlow(G, u, v+N, INF);
        }
    }
    ll ans = maxFlowDinic(G, s, t);
    cout<<ans<<endl;
}

int main(){
    long long N;
    scanf("%lld",&N);
    long long A;
    scanf("%lld",&A);
    long long B;
    scanf("%lld",&B);
    std::vector<long long> p(N);
    for(int i = 0 ; i < N ; i++){
        scanf("%lld",&p[i]);
        p[i]--;
    }
    solve(N, A, B, std::move(p));
    return 0;
}


Measured memory_bytes: 681508