#include <bits/stdc++.h>
int main() {
  int y, w, d, i;
  scanf("%d %d", &y, &w);
  if (y >= w) {
    d = 7 - y;
    if (d % 6 == 0) {
      printf("1/1");
    } else if (d % 2 == 0) {
      printf("%d/3", int(d / 2));
    } else if (d % 3 == 0) {
      printf("%d/2", int(d / 3));
    } else {
      printf("%d/6", d);
    }
  } else {
    d = 7 - w;
    if (d % 6 == 0) {
      printf("1/1");
    } else if (d % 2 == 0) {
      printf("%d/3", int(d / 2));
    } else if (d % 3 == 0) {
      printf("%d/2", int(d / 3));
    } else {
      printf("%d/6", d);
    }
  }
  return 0;
}
