fn main() {
    let (_n, _q): (usize, usize);
    inputm!(_n, _q);

    let mut x = input_vector::<usize>();

    for _ in 0..100 {
        let mut flag = vec![false; x.len()];
        let mut ex = vec![];
        for i in 0..x.len() {
            for j in i + 1..x.len() {
                if x[i] + 6 < x[j] {
                    break;
                }
                if (x[j] - x[i]) % 2 == 0 || x[i] + x[j] <= 7 {
                    continue;
                }
                let f = (x[i] + x[j] - 7) / 2;
                if f == 1 {
                    println!("No");
                    return;
                }
                ex.push(f);
                flag[i] = true;
                flag[j] = true;
            }
        }
        for i in 0..x.len() {
            if flag[i] {
                ex.push(x[i]);
            }
        }
        ex.sort();
        ex.dedup();
        x = ex;
        if x.is_empty() {
            println!("Yes");
            return;
        }
        for i in 1..x.len() - 1 {
            if x[i - 1] + 1 == x[i] && x[i] + 1 == x[i + 1] && x[i] >= 10 {
                println!("No");
                return;
            }
        }
    }
    if x[0] == 1 {
        println!("No");
    } else {
        println!("Yes");
    }
}

pub mod input {
    use std::io;
    const SPLIT_DELIMITER: char = ' ';

    #[macro_export]
    #[allow(unused_macros)]
    macro_rules! inputm {
    ( $($x:expr ),*) => {
        {
            let temp_str = input_line_str();
            let mut split_result_iter = temp_str.split_whitespace();
                $(
                let buf_split_result = split_result_iter.next();
                let buf_split_result = buf_split_result.unwrap();
                    ($x) = buf_split_result.parse().unwrap();
                )*
        }
    };
}

    pub fn input_line_str() -> String {
        let mut s = String::new();
        io::stdin().read_line(&mut s).unwrap();
        s.trim().to_string()
    }

    pub fn input_vector2d<T>(line: usize) -> Vec<Vec<T>>
    where
        T: std::str::FromStr,
    {
        let mut v: Vec<Vec<T>> = Vec::new();

        for _ in 0..line {
            let vec_line = input_vector();
            v.push(vec_line);
        }
        v
    }

    #[allow(clippy::match_wild_err_arm)]
    pub fn input_vector<T>() -> Vec<T>
    where
        T: std::str::FromStr,
    {
        let mut v: Vec<T> = Vec::new();

        let s = input_line_str();
        let split_result = s.split(SPLIT_DELIMITER);
        for z in split_result {
            let buf = match z.parse() {
                Ok(r) => r,
                Err(_) => panic!("Parse Error",),
            };
            v.push(buf);
        }
        v
    }

    #[allow(clippy::match_wild_err_arm)]
    pub fn input_vector_row<T>(n: usize) -> Vec<T>
    where
        T: std::str::FromStr,
    {
        let mut v = Vec::with_capacity(n);
        for _ in 0..n {
            let buf = match input_line_str().parse() {
                Ok(r) => r,
                Err(_) => panic!("Parse Error",),
            };
            v.push(buf);
        }
        v
    }

    pub trait ToCharVec {
        fn to_charvec(&self) -> Vec<char>;
    }

    impl ToCharVec for String {
        fn to_charvec(&self) -> Vec<char> {
            self.to_string().chars().collect::<Vec<_>>()
        }
    }
}
use input::*;