#include<stdio.h>

int main(void)
{
	int g, g1 = 0, c, c1 = 0, p, p1 = 0, ng = 0, ng1 = 0, ng2 = 0, nc = 0, nc1 = 0, nc2 = 0, np = 0, np1 = 0, np2 = 0, ans1, ans2;

	scanf("%d %d %d", &g, &c, &p);

	int n = g + c + p;

	char s[300];

	for (int i = 0; i < n+1; i++)
	{
		s[i] = getchar();

		if (s[i] == 'G') ng++;

		else if (s[i] == 'C') nc++;

		else if (s[i] == 'P') np++;
	}

	if (g >= nc)
	{
		g = g - nc;
		nc1 = nc;
		nc = 0;
	}

	else
	{
		nc = nc - g;
		nc2 = g;
		g = 0;
	}

	if (c >= np)
	{
		c = c - np;
		np1 = np;
		np = 0;
	}

	else
	{
		np = np - c;
		np2 = c;
		c = 0;
	}

	if (p >= ng)
	{
		p = p - ng;
		ng1 = ng;
		ng = 0;
	}

	else
	{
		ng = ng - p;
		ng2 = p;
		p = 0;
	}

	ans1 = (ng1 + nc1 + np1 + ng2 + nc2 + np2) * 3;

	if (g > 0 && ng > 0)
	{
		 g1 = g > ng ? ng : g;
	}

	if (c > 0 && nc > 0)
	{
		 c1 = c > nc ? nc : c;
	}

	if (p > 0 && np > 0)
	{
		 p1 = p > np ? np : p;
	}

	ans2 = g1 + c1 + p1;

	printf("%d\n", ans1 + ans2);

	return 0;

}