#include <bits/stdc++.h>
using namespace std;
const double pi = acos(-1.0);
int n, a, b, c, t[200015];
int main() {
  scanf("%d%d%d", &n, &a, &b);
  for (int i = 1; i <= n; ++i) scanf("%d", &t[i]);
  int ans = 0;
  for (int i = 1; i <= n; ++i) {
    if (t[i] == 1) {
      if (a)
        --a;
      else if (b)
        --b, ++c;
      else if (c)
        --c;
      else
        ++ans;
    } else {
      if (b)
        --b;
      else
        ans += 2;
    }
  }
  printf("%d", ans);
  return 0;
}
