use itertools::Itertools;
use proconio::input;

fn solve() -> bool {
  input! {
    a: usize,
    b: usize,
    c: usize,
  }
  for v in [a, b, c].iter().permutations(3) {
    let [&a, &b, &c] = v[..3] else {
      unreachable!();
    };
    let cand0 = a * b % 6 == 0;
    let cand1 = a % 3 == 0 && (b % 3 == 2 || c % 3 == 2) && b.max(c) >= 8;
    if cand0 || cand1 {
      return true;
    }
  }
  false
}

fn main() {
  let ans = solve();
  println!("{}", if ans { "Yes" } else { "No" });
}