#![allow(unused_imports)]

fn main() {
    input! {
        a: u32, b: u32, c: u32,
    }
    println!(
        "{}",
        if [a, b, c]
            .into_iter()
            .permutations(3)
            .any(|t| (t[0] % 3 == 0 && t[1] % 2 == 0) || (t[0] % 6 == 0 && t[1] >= 2))
        {
            "Yes"
        } else {
            "No"
        }
    );
}

/*

###xx
###xx
...xx
...oo
###oo
###oo

*/

use itertools::{Itertools as _, iproduct, izip};
use proconio::{input, marker::*};
use std::{cmp::Reverse, collections::*};

#[macro_export]
macro_rules! chmax {
    ($a:expr, $b:expr) => {{
        let tmp = $b;
        if $a < tmp {
            $a = tmp;
            true
        } else {
            false
        }
    }};
}

#[macro_export]
macro_rules! chmin {
    ($a:expr, $b:expr) => {{
        let tmp = $b;
        if $a > tmp {
            $a = tmp;
            true
        } else {
            false
        }
    }};
}

#[macro_export]
/// mvec![]
macro_rules! mvec {
    ($val:expr; ()) => {
        $val
    };
    ($val:expr; ($size:expr $(,$rest:expr)*)) => {
        vec![mvec![$val; ($($rest),*)]; $size]
    };
}