#include <bits/stdc++.h>
using namespace std;
int main() {
  int a, b, t = 6;
  cin >> a >> b;
  int d = (7 - max(a, b));
  while (d > 0) {
    if (d % 2 == 0 && t % 2 == 0) {
      d = d / 2;
      t = t / 2;
    } else if (d % 3 == 0 && t % 3 == 0) {
      d = d / 3;
      t = t / 3;
    } else
      break;
  }
  cout << d << "/" << t;
}
