#Mark一下
def editDistance(str1,str2):
len1,len2 = len(str1) +1,len(str2) +1
dp = [[0 for i in range(len2)]for j in range(len1)]
for i in range(len1):
dp[i][0] = i
for j in range(len2):
dp[0][j] = j
for i in range(1,len1):
for j in range(1, len2):
dp[i][j] = min(dp[i-1][j]+1,dp[i][j-1] +1,dp[i-1][j-1] +(str1[i-1]!=str2[j-1]))
return dp[-1][-1]
while True:
try:
a = input()
b = input()
print('1/' + str(editDistance(a,b)+1))
except:
break #include <iostream>
#include <string>
#include <algorithm>
using namespace std;
int main ()
{
string s1,s2;
while( cin>>s1>>s2)
{
int len1 = s1.size();
int len2 = s2.size();
vector<vector<int>> dp(len1+1, vector<int>(len2+1,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(s1[i-1] == s2[j-1])
dp[i][j] = dp[i-1][j-1];
else{
int tmp = min(dp[i-1][j], dp[i][j-1]);
dp[i][j] = 1 + min(tmp, dp[i-1][j-1]);
}
}
}
cout<<'1'<<'/'<<(dp[len1][len2]+1)<<endl;
}
return 0;
}