#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, a;
  double b;
  scanf("%d%d%lf", &n, &a, &b);
  int ib = b;
  int ans = 0;
  for (int i = 0; i < n; i++) {
    int x;
    scanf("%d", &x);
    if (x == 1) {
      if (a)
        a--;
      else if (b) {
        b -= 0.5;
        ib--;
      } else
        ans++;
    } else {
      if (ib >= 1) {
        ib--;
        b--;
      } else
        ans += 2;
    }
  }
  printf("%d\n", ans);
}
