#include <bits/stdc++.h>
using namespace std;
long long gcd(long long a, long long b) { return b == 0 ? a : gcd(b, a % b); }
vector<pair<long long, long long> > V;
int main() {
  ios_base::sync_with_stdio(0);
  cin.tie(0);
  cout.tie(0);
  ;
  long long n, a, b;
  cin >> n >> a >> b;
  long long c = 0;
  long long ans = 0;
  for (long long i = 1; i <= n; i++) {
    long long x;
    cin >> x;
    if (x == 2) {
      if (b)
        b--;
      else
        ans += 2;
    } else {
      if (a)
        a--;
      else if (b)
        b--, c++;
      else if (c)
        c--;
      else
        ans++;
    }
  }
  cout << ans << endl;
}
