#include<stdio.h>
int gcd(int x,int y)
{
int r;
while(y!=0)
{ r=x%y;
x=y;
y=r;
}
return x;
}
int min(int x,int y,int z)
{
int min=x;
if(y<x)
min=y;
if(z<x)
min=z;
return min;
}
int max(int x, int y,int z)
{
int max=x;
if(y>x)
max=y;
if(z>x)
max=z;
return max;
}
int main()
{
int a,b,c;
scanf("%d %d %d",&a,&b,&c);
int min2=min(a,b,c),max2=max(a,b,c);
int gcd2=gcd(min2,max2);
int min3=min2/gcd2,max3=max2/gcd2;
printf("%d/%d",min2/gcd2,max2/gcd2);
return 0;
}