using System.Numerics;

public class Program
{
    public static void Main()
    {
        //Biginteger num =BigInteger.Parse(Console.ReadLine() ?? string.Empty);
        string[] str = (Console.ReadLine() ?? string.Empty).Trim().Split(' ');
        //string str = Console.ReadLine() ?? string.Empty;

        string one = str[0];
        string two = str[1];

        if(one == "Sat"||one == "Sun")
        {
            if(two == "Sat"||two == "Sun")
            {
                Console.WriteLine("8/33");
            }
            else
            {
                Console.WriteLine("8/32");
            }
        }
        else
        {
            Console.WriteLine("8/31");
        }


    }
}