#include<iostream>
#include<string>
using namespace std;
#define N 1000
int max(int a, int b, int c)
{
int d = a > b ? a : b;
return d > c ? d : c;
}
int main()
{
string stra, strb;
int str[N][N];
int M;
cin >> stra;
cin >> strb;
int a = stra.length();
int b = strb.length();
for (int i = 0; i < a;i++)
for (int j = 0; j < b; j++)
{
if (i == 0 || j == 0)
str[i][j] = 1;
else
if (stra[i] == strb[b])
str[i][j] = str[i - 1][j - 1] + 1;
else
str[i][j] = max(str[i - 1][j], str[i][j - 1], str[i - 1][j - 1]);
}
M = a>b ? a : b;
cout << 1 << '/' << M - str[a - 1][b - 1] + 1 << endl;
return 0;
}