#include <bits/stdc++.h>
using namespace std;
int main(void) {
  int n, a, b, t, ans = 0, c = 0;
  scanf("%d%d%d", &n, &a, &b);
  while (n--) {
    scanf("%d", &t);
    if (t == 2) {
      if (!b)
        ans += 2;
      else
        b--;
    } else {
      if (!a) {
        if (!b) {
          if (!c)
            ans += 1;
          else
            c--;
        } else
          b--, c++;
      } else {
        a--;
      }
    }
  }
  printf("%d\n", ans);
  return 0;
}
