#include<stdio.h>
#include<string.h>
void trs(char* c)
{
	for (int i = 0; c[i] != '\0'; i++)
		if (c[i] > 64 && c[i] < 91)
			c[i] += 32;
}
int main()
{
	int a = 0, i, x = 0;
	char e[100], p[100005];
	fgets(e,100,stdin);
	e[strlen(e)] = '\0';
	fgets(p,100005,stdin);
	trs(e), trs(p);
	char* ptr, * g;
	if(p[0]==' ')
		for (i = 0; p[i] == ' '; i++)
			x++;
	ptr = strtok(p, " ");
	while (ptr != NULL)
	{
		if (strcmp(e, ptr) == 0)
			a++;
		else
			if (a == 0)
				x += strlen(ptr) + 1;
		ptr = strtok(NULL, " ");
	}
	if (a != 0)
		printf("%d %d", a, x);
	else
		printf("-1");
	return 0;
}