import java.io.*;
import java.util.Scanner;


public class Main_yukicoder841 {

	private static Scanner sc;
	private static Printer pr;

	private static void solve() {
		String s1 = sc.next();
		String s2 = sc.next();

		if ((s1.equals("Sat") || s1.equals("Sun")) && (s2.equals("Sat") || s2.equals("Sun"))) {
			pr.println("8/33");
		} else if (s1.equals("Sat") || s1.equals("Sun")) {
			pr.println("8/32");
		} else {
			pr.println("8/31");
		}
	}

	// ---------------------------------------------------
	public static void main(String[] args) {
		sc = new Scanner(System.in);
		pr = new Printer(System.out);
			
		solve();
			
		pr.close();
		sc.close();
	}

	static class Printer extends PrintWriter {
		Printer(OutputStream out) {
			super(out);
		}
	}
}