#include<cstdio>

#include<cstring>

#include<queue>

using namespace std;

#define INF 2147483647

queue<int>q;

int child[1010][4],fail[1010],size,ma[1010],f[1010][1010],ans;

bool word[1010];

void Insert(char S[])

{

	int len=strlen(S);

	int now=0;

	for(int i=0;i<len;++i)

	  {

	  	if(!child[now][ma[S[i]]])

	  	  child[now][ma[S[i]]]=size++;

	  	now=child[now][ma[S[i]]];

	  }

	word[now]=1;

}

void build()

{

	fail[0]=-1;

	q.push(0);

	while(!q.empty())

	  {

	  	int U=q.front(); q.pop();

	  	for(int i=0;i<4;++i)

	  	  if(child[U][i])

	  	    {

	  	      int V=fail[U];

	  	      while(V!=-1)

	  	        {

	  	          if(child[V][i])

	  	            {

	  	              fail[child[U][i]]=child[V][i];

	  	              break;

	  	            }

	  	          V=fail[V];

	  	        }

	  	      if(V==-1)

	  	        fail[child[U][i]]=0;

	  	      if(word[fail[child[U][i]]])

	  	        word[child[U][i]]=1;//如果某个单词是该结点所在单词的前缀，那么该结点也应被标记为单词结点

	  		  q.push(child[U][i]);

	  	    }

	  	  else if(U)

	  	    child[U][i]=child[fail[U]][i];//当然你在dp过程中在Trie上跳也行，但这样就避免了重复计算

			  //由于BFS，其实形成了一个类似链表的结构

	  }

}

void Init()

{

	memset(child,0,sizeof(child));

	memset(fail,0,sizeof(fail));

	memset(word,0,sizeof(word));

	size=1;

}

int T,n,m;

char s[1010];

int main()

{

	//freopen("poj3691.in","r",stdin);

	ma['A']=0; ma['G']=1; ma['C']=2; ma['T']=3;

	while(1)

	  {

	  	scanf("%d",&n);

	  	if(!n)

	  	  break;

	  	Init();

	  	for(int i=1;i<=n;++i)

	  	  {

	  	  	scanf("%s",s);

	  	  	Insert(s);

	  	  }

	  	build();

	  	memset(f,0x7f,sizeof(f));

	  	f[0][0]=0;

	  	scanf("%s",s);

	  	m=strlen(s);

	  	for(int i=0;i<m;++i)

	  	  for(int j=0;j<size;++j)

	  	    for(int k=0;k<4;++k)

	  	      if(!word[child[j][k]])

	  	        f[i+1][child[j][k]]=min(f[i+1][child[j][k]],f[i][j]+(ma[s[i]]!=k));

	  	ans=INF;

	  	for(int i=0;i<size;++i)

	  	  ans=min(ans,f[m][i]);

	  	printf("Case %d: %d\n",++T,ans<=1000 ? ans : (-1));

	  }

	return 0;

}