use proconio::input;

fn main() {
    input! {
        mut a: [u128; 3]
    }
    a.sort_unstable();

    let v: u128 = a.iter().product();
    let mut ans = true;
    ans &= v.is_multiple_of(6);
    ans &= a[1] != 1;

    println!("{}", if ans { "Yes" } else { "No" });
}

// V=6の倍数が必要
// 2,3がばらけていればOK
// 6 1 1 以外OK