#include<bits/stdc++.h>
using namespace std;

#define REP(i,a,b) for(i=a;i<b;i++)
#define rep(i,n) REP(i,0,n)

#define mygc(c) (c)=getchar_unlocked()
#define mypc(c) putchar_unlocked(c)

#define ll long long

void reader(int *x){int k,m=0;*x=0;for(;;){mygc(k);if(k=='-'){m=1;break;}if('0'<=k&&k<='9'){*x=k-'0';break;}}for(;;){mygc(k);if(k<'0'||k>'9')break;*x=(*x)*10+k-'0';}if(m)(*x)=-(*x);}
void reader(ll *x){int k,m=0;*x=0;for(;;){mygc(k);if(k=='-'){m=1;break;}if('0'<=k&&k<='9'){*x=k-'0';break;}}for(;;){mygc(k);if(k<'0'||k>'9')break;*x=(*x)*10+k-'0';}if(m)(*x)=-(*x);}

void writer(ll x, char c){int s=0,m=0;char f[20];if(x<0)m=1,x=-x;while(x)f[s++]=x%10,x/=10;if(!s)f[s++]=0;if(m)mypc('-');while(s--)mypc(f[s]+'0');mypc(c);}
template<class T> void writerLn(T x){writer(x,'\n');}

template<class T> T GCD(T a,T b){T r; while(a)r=b,b=a,a=r%a; return b;}
template<class T> T LCM(T a,T b){return a/GCD(a,b)*b;}
template<class T> T GCD(T a,T b,T c){return GCD(GCD(a,b),c);}
template<class T> T LCM(T a,T b,T c){return LCM(LCM(a,b),c);}
template<class T> void reduceFraction(T&a, T&b){T g=GCD(a,b);a/=g;b/=g;}

int N = 3;
ll T[3];

int main(){
  int i, j, k;
  ll lcm, g, p[3], t[3];

  rep(i,N) reader(T+i);

  lcm = LCM(T[0], T[1], T[2]);

  rep(i,3) p[i] = lcm/T[i];
  
  g = 1;
  REP(i,2,10001){
    rep(j,3){
      t[j] = p[j] % i;
      t[j] = min(t[j], i-t[j]);
    }
    if(t[0]==t[1] && t[0]==t[2]) g = i;
  }

  reduceFraction(lcm, g);
  writer(lcm,'/');
  writerLn(g);
  
  return 0;
}