use proconio::input;

fn solve() -> bool {
  input! {
    a: u64,
    b: u64,
    c: u64,
  }
  (a % 6) * (b % 6) * (c % 6) % 6 == 0 && a + b + c > a.max(b).max(c) + 2
}

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