#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;
}