#include <bits/stdc++.h>
using namespace std;
int main(){
int a,b,c;
cin>>a>>b>>c;
int minn=100000;
if(a<minn){
minn=a;
}
if(b<minn){
minn=b;
}
if(c<minn){
minn=c;
}
int maxx=-1;
if(a>maxx){
maxx=a;
}
if(b>maxx){
maxx=b;
}
if(c>maxx){
maxx=c;
}
printf("%d/%d",minn/__gcd(minn,maxx),maxx/__gcd(minn,maxx));
}