def solve(y, m, d)
    if y < 1989
        return false
    end
    if y == 1989 && m == 1 && d < 8
        return false
    end
    if y > 2019
        return false
    end
    if y == 2019 && m > 4
        return false
    end
    if y == 2019 && m == 4 && d > 30
        return false
    end
    return true
end

y, m, d = gets.split.map(&:to_i)
puts solve(y, m, d) ? "Yes" : "No"