#include<stdio.h>

#include<string.h>

#define maxn 1010

#define max(a,b) (a)>(b)?(a):(b)

char a[maxn],b[maxn],c[maxn];

int dp1[maxn][maxn],dp2[maxn][maxn];

int n,m,len;

int sa[maxn][],sb[maxn][];

void LCS()

{

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

        for(int j=;j<=m;j++)

        {

            if(a[i]==b[j])

                dp1[i][j]=dp1[i-][j-]+;

            else

                dp1[i][j]=max(dp1[i-][j],dp1[i][j-]);

        }

    for(int i=n;i>;i--)

        for(int j=m;j>;j--)

        {

            if(a[i]==b[j])

                dp2[i][j]=dp2[i+][j+]+;

            else

                dp2[i][j]=max(dp2[i+][j],dp2[i][j+]);

        }

}

void Deal()

{

    int k,j,t1,t2;

    t1=t2=;

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

        if(a[i]==c[])

        {

            for(j=i+,k=;j<=n;j++)

            {

                if(a[j]==c[k+])  k++;

                if(k==len)  break;

            }

            if(k==len)  sa[t1][]=i,sa[t1++][]=j;

        }

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

        if(b[i]==c[])

        {

            for(j=i+,k=;j<=m;j++)

            {

                if(b[j]==c[k+])  k++;

                if(k==len)  break;

            }

            if(k==len)  sb[t2][]=i,sb[t2++][]=j;

        }

    int ans=;

    for(int i=;i<t1;i++)

        for(int j=;j<t2;j++)

            ans=max(ans,dp1[sa[i][]-][sb[j][]-]+dp2[sa[i][]+][sb[j][]+]);

    printf("%d\n",len+ans);

}

int main()

{

    int T,cas=;

    scanf("%d",&T);

    while(T--)

    {

        scanf("%s%s%s",a+,b+,c+);

        n=strlen(a+);

        m=strlen(b+);

        len=strlen(c+);

        memset(dp1,,sizeof(dp1));

        memset(dp2,,sizeof(dp2));

        printf("Case #%d: ",cas++);

        LCS();

        Deal();

    }

    return ;

}