use std::io::Read;
use std::collections::HashSet;

fn solve(days: Vec<&str>) {
    let mut holidays = HashSet::new();
    holidays.insert("Sat");
    holidays.insert("Sun");
    if holidays.contains(days[0]) && holidays.contains(days[1]) {
        println!("{}", "8/33");
    } else if holidays.contains(days[0]) {
        println!("{}", "8/32");
    } else {
        println!("{}", "8/31");
    }
}

fn main() {
    let mut days = String::new();
    std::io::stdin().read_to_string(&mut days).ok();
    let days: Vec<&str> = days.trim().split('\n').next().unwrap().trim().split_whitespace().collect();
    solve(days);
}