fn main() {
    let mut xx = String::new();
    std::io::stdin().read_line(&mut xx).ok();
    let xx: Vec<&str> = xx.split_whitespace().collect();

    match (xx[0], xx[1]) {
        ("Sat" | "Sun", "Sat" | "Sun") => println!("8/33"),
        ("Sat" | "Sun", _) => println!("8/32"),
        _ => println!("8/31"),
    }
}