use proconio::input; fn solve() -> bool { input! { a: u64, b: u64, c: u64, } (a % 6) * (b % 6) * (c * 6) % 6 == 0 && a.max(b).min(c) > 1 } fn main() { let ans = solve(); println!("{}", if ans { "Yes" } else { "No" }); }