// yukicoder: 161 制限ジャンケン
// 2019.6.2 bal4u

#include <stdio.h>

#if 1
#define gc() getchar_unlocked()
#else
#define gc() getchar()
#endif

int in()    // 非負整数の入力
{
	int n = 0, c = gc();
	do n = 10 * n + (c & 0xf); while ((c = gc()) >= '0');
	return n;
}

void ins(char *s)  // 文字列の入力　スペース以下の文字で入力終了
{
	do *s = gc();
	while (*s++ > ' ');
	*(s-1) = 0;
}

#define MIN(a,b)  ((a)<=(b)?(a):(b))
char S[305];

int main()
{
	int G, C, P, g, c, p, ans;
	char *q;
	
	G = in(), C = in(), P = in();
	ins(q = S);
	g = c = p = 0;
	while (*q) {
		if (*q == 'G') g++;
		else if (*q == 'C') c++;
		else p++;
		q++;
	}
	ans = 0;
	if (G >= c) ans += c, G -= c, c = 0;
	else        ans += G, c -= G, G = 0;
	if (C >= p) ans += p, C -= p, p = 0;
	else        ans += C, p -= C, C = 0;
	if (P >= g) ans += g, P -= g, g = 0;
	else        ans += P, g -= P, P = 0;
	ans *= 3;
	ans += MIN(G, g) + MIN(C, c) + MIN(P, p);
	printf("%d\n", ans);
	return 0;
}