#include <bits/stdc++.h>
int n, a, b, ba;
int res;
int main() {
  scanf("%d %d %d", &n, &a, &b);
  for (int i = 0; i < n; ++i) {
    int tmp;
    scanf("%d", &tmp);
    if (tmp == 2) {
      if (b) {
        --b;
      } else {
        res += 2;
      }
    } else {
      if (a) {
        --a;
      } else if (b) {
        --b;
        ++ba;
      } else if (ba) {
        --ba;
      } else {
        ++res;
      }
    }
  }
  printf("%d\n", res);
  return 0;
}
