#include<stdio.h>
#include<string>
char a[10001],b[10001];
int la,lb,com,lab,best;
int gcd(int m,int n){
    if(n==0)    return m;
    else    return gcd(n,m%n);
}
int main()
{
    int i,j,k,g;
    while(true){
        scanf("%s",a);
        if(strcmp(a,"-1")==0)
            break;
        scanf("%s",b);
        la=strlen(a);
        lb=strlen(b);
        lab=la+lb;
        com=best=0;
        for(i=0;i<la;i++){
            best=0;
            for(j=i,k=0;j<la&&k<lb;j++,k++)
                if(a[j]==b[k])
                    best++;
            if(best>com)
                com=best;
        }
        for(i=0;i<lb;i++){
            best=0;
            for(j=i,k=0;j<lb&&k<la;j++,k++)
                if(a[k]==b[j])
                    best++;
            if(best>com)
                com=best;
        }
        com*=2;
        g=gcd(lab,com);
        printf("appx(%s,%s) = ",a,b);
        if(com==0){
            printf("0\n");
            continue;
        }
        if(lab==com)
            printf("1\n");
        else
            printf("%d/%d\n",com/g,lab/g);
    }
    return 0;
}