6 6
 1 4
 4 4
 3 3
 6 4
 6 3
 5 4
 5 6
 3 4
 1 3
 3 2
 5 5
 1 1
 2 1
 3 1
 3 5
 1 6
 6 5
 2 3
 4 3
 2 2
 3 6
 1 2
 6 1
 2 5
 4 5
 1 5
 6 2
 4 6
 5 1
 4 1
 5 2
 2 4
 2 6
 5 3

1/6
 1/2
 1/2
 2/3
 1/6
 1/6
 1/3
 1/6
 1/2
 2/3
 2/3
 1/3
 1/1
 5/6
 2/3
 1/3
 1/6
 1/6
 2/3
 1/2
 5/6
 1/6
 5/6
 1/6
 1/3
 1/3
 1/3
 1/6
 1/6
 1/3
 1/2
 1/3
 1/2
 1/6
 1/3

#include <bits/stdc++.h>
using namespace std;
double larger(double, double);
int main() {
  double input1;
  double input2;
  cin >> input1 >> input2;
  double result = (6 - larger(input1, input2) + 1) / 6;
  if (result == 0)
    cout << "0/1";
  else if (result == 1.0 / 6)
    cout << "1/6";
  else if (result == 2.0 / 6)
    cout << "1/3";
  else if (result == 3.0 / 6)
    cout << "1/2";
  else if (result == 4.0 / 6)
    cout << "2/3";
  else if (result == 5.0 / 6)
    cout << "5/6";
  else
    cout << "1/1";
  return 0;
}
double larger(double input1, double input2) {
  if (input1 > input2)
    return input1;
  else
    return input2;
}
