#include<bits/stdc++.h>
using namespace std;
string comp_distance(string &str1,string &str2){
    str1.insert(0,1,'#');
    str2.insert(0,1,'#');
    int len1=str1.size();
    int len2=str2.size();
    vector<vector<int> > dp(len1,vector<int>(len2,0));
    for(int i=0;i<len1;i++){
        dp[i][0]=i;
    }
    for(int i=0;i<len2;i++){
        dp[0][i]=i;
    }
    for(int i=1;i<len1;i++){
        for(int j=1;j<len2;j++){
            if(str1[i]==str2[j])
                dp[i][j]=dp[i-1][j-1];
            else{
                dp[i][j]=min(min(dp[i-1][j-1],dp[i-1][j]),dp[i][j-1])+1;
            }
        }
    }
    return "1/"+to_string(dp[len1-1][len2-1]+1);
}
int main(){
    string str1,str2;
    while(cin>>str1>>str2){
        cout<<comp_distance(str1,str2)<<endl;
    }
    return 0;
}