fn main() {
    let stdin = std::io::read_to_string(std::io::stdin()).unwrap();
    let mut stdin = stdin.split_ascii_whitespace();

    let s: [String; 2] = [
        stdin.next().unwrap().parse().unwrap(),
        stdin.next().unwrap().parse().unwrap(),
    ];

    println!("{}", output(solve(s)));
}

fn solve(s: [String; 2]) -> &'static str {
    match &s[0][..] {
        "Sat" | "Sun" => match &s[1][..] {
            "Sat" | "Sun" => "8/33",
            _ => "8/32",
        },
        _ => "8/31",
    }
}

fn output(ans: &'static str) -> &'static str {
    ans
}