fn main() {
    let mut ymd: String = String::new();
    std::io::stdin().read_line(&mut ymd).ok();
    let ymd: Vec<usize> = ymd.trim().split_whitespace().map(|s| s.parse::<usize>().unwrap()).collect();
    let y = ymd[0];
    let m = ymd[1];
    let d = ymd[2];

    //1989年1月8日・2019年4月30日を含む
    if 1989 < y && y < 2019 {
        println!("Yes");
    } else if 1989 == y && (m > 1 || d >= 8) {
        println!("Yes");
    } else if 2019 == y && m <= 4 {
        println!("Yes");
    } else {
        println!("No");
    }
}