#include<stdio.h>
#include<string.h>
char sj[1000005];
int main(void)
{
	char dc[11] = {0}, d[11] = { 0 };
	int a,i=0,j=0,c=0,h=10000000;
	while ((a = getchar()) != '\n') {
		if (a < 'a'&&a!=32)
			a += 32;
		dc[i] = a;
		i++;
	}
	dc[i] = '\0';
	while ((a = getchar()) != '\n') {
		if (a < 'a' && a != 32)
			a += 32;
		sj[j] = a;
		j++;
	}
	sj[j] = '\0';
	for (int q = 0; q < j; q++) {
		int u = 0, n;
		while (sj[q] != ' ') {
			if (sj[q] == '\0')
				break;
			d[u] = sj[q];
			q++;
			u++;
		}
		d[u] = '\0';
		if (u == i) {
			n=strcmp(d, dc);
			if (n == 0) {
				c++;
				if (h > q - u - 2)
					h = q - u ;
			}
		}
	}
	if (c == 0)
		printf("-1");
	else printf("%d %d", c, h);
	return 0;
}