import java.io.BufferedReader;
import java.io.InputStreamReader;

public class Main {
	public static void main(String[] args) throws Exception {
		BufferedReader br = new BufferedReader(new InputStreamReader(System.in));
		String[] sa = br.readLine().split(" ");
		br.close();

		if ("Sat".equals(sa[0]) || "Sun".equals(sa[0])) {
			if ("Sat".equals(sa[1]) || "Sun".equals(sa[1])) {
				System.out.println("8/33");
			} else {
				System.out.println("8/32");
			}
		} else {
			System.out.println("8/31");
		}
	}
}