#include <bits/stdc++.h>
using namespace std;
int x, y, num, dem = 6;
int main() {
  scanf("%d%d", &x, &y);
  num = 7 - max(x, y);
  if (num == 6) {
    num = 1;
    dem = 1;
  } else if (num % 2 == 0 && dem % 2 == 0) {
    num = num / 2;
    dem = dem / 2;
  } else if (num % 3 == 0 && dem % 3 == 0) {
    num = num / 3;
    dem = dem / 3;
  }
  cout << num << "/" << dem;
}
