#include <stdio.h>
using namespace std;
char s1[200001], s2[200001];
int count1, count2;
int main (void)
{
char ch = getchar();
while (ch != 'F')
{
if (ch == '<')
{
if (s1[count1] != '\n')
count1--;
ch = getchar();
continue;
}
count1++;
s1[count1] = ch;
ch = getchar();
}
while ((ch < 'a' || ch > 'z') && ch != '.')
ch = getchar();
while (ch != 'F')
{
if (ch == '<')
{
if (s2[count2] != '\n')
count2--;
ch = getchar();
continue;
}
count2++;
s2[count2] = ch;
ch = getchar();
}
count1 -= 3;
count2 -= 3;
int ans = 0;
for (int i=1, j=1; i<=count1 && j<=count2;)
{
if (s1[i] == s2[j] && s1[i] != '\n')
ans++;
if (s1[i] == '\n')
{
while (s2[j] != '\n')
{
j++;
}
i++;
j++;
continue;
}
if (s2[j] == '\n')
{
while (s1[i] != '\n')
{
i++;
}
i++;
j++;
continue;
}
i++;
j++;
}
int time;
scanf("%d", &time);
printf("%.0lf",(double)ans * 60 / (double)time );
return 0;
}