#include <bits/stdc++.h>
int main() {
  int max, a, b, count = 0;
  scanf("%d%d", &a, &b);
  if (a >= b) {
    max = a;
  } else
    max = b;
  while (max <= 6) {
    count++;
    max++;
  }
  if (count == 1 || count == 5) {
    printf("%d/6", count);
  } else if (count == 2)
    printf("1/3");
  else if (count == 3)
    printf("1/2");
  else if (count == 4)
    printf("2/3");
  else if (count == 6)
    printf("1/1");
  return 0;
}
