#![allow(
    non_snake_case,
    unused_variables,
    unused_assignments,
    unused_mut,
    unused_imports,
    unused_macros,
    dead_code,
    static_mut_refs
)]

// use ac_library::*;
use itertools::Itertools;
use proconio::{input, derive_readable,marker::*};
use std::{cmp::*, collections::*, fmt::*, hash::*, marker::PhantomData, ops::*, println};
// use rustc_hash::*;

fn main() {
    input! {
        a:usize,
        b:usize,
        c:usize
    }

    let mut ans = "No";

    if a % 2 == 0 {
        if b % 3 == 0 || c % 3  == 0 { ans = "Yes" }
    }

    if a % 3 == 0 {
        if b % 2 == 0 || c % 2 == 0 { ans = "Yes" }
    }

    if b % 2 == 0 {
        if a % 3 == 0 || c % 3 == 0 { ans = "Yes" }
    }

    if b % 3 == 0 {
        if a % 2 == 0 || c % 2 == 0 { ans = "Yes" }
    }

    if c % 2 == 0 {
        if a % 3 == 0 || b % 3 == 0 { ans = "Yes" }
    }

    if c % 3 == 0 {
        if a % 2 == 0 || b % 2 == 0 { ans = "Yes" }
    }

    if (a % 2 == 0 && b % 3 == 0) || (a % 3 == 0 && b % 2 == 0) || (b % 2 == 0 && c % 3 == 0) || (b % 3 == 0 && c % 2 == 0) || (a % 2 == 0 && c % 3 == 0) || (c % 2 == 0 && a % 3 == 0) { ans = "Yes" }

    println!("{}",ans);
}

trait Pipe: Sized {
    fn pipe<F, T>(self, f: F) -> T
    where
        F: FnOnce(Self) -> T,
    {
        f(self)
    }
}
impl<T> Pipe for T {}

fn yesno(b: bool) {
    if b {
        println!("Yes");
    } else {
        println!("No");
    }
}