using System;
using System.Linq;
using System.Collections.Generic;

static class NagataKanaIsAGenius {
    public static void Main() {
        int ans=31;
        foreach(String s in Console.ReadLine().Split()){
            if(s!="Sat"&&s!="Sun")break;
            ans++;
        }
        Console.WriteLine($"8/{ans}");
    }
}