using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace yukicoderTest
{
    class Program
    {
        static void Main(string[] args)
        {
            string[] str = Console.ReadLine().Split(' ');
            if(str[0]=="Sat"||str[0]=="Sun"&& str[1] == "Sat" || str[1]=="Sun")
            {
                Console.WriteLine("8/33");
            }
            else if(str[0] == "Sat" || str[0] == "Sun")
            {
                Console.WriteLine("8/32");
            }
            else
            {
                Console.WriteLine("8/31");
            }
        }
    }
}