#include <bits/stdc++.h>
using namespace std;

int main(){
    int64_t N;
    int K;
    cin >> N >> K;
    vector<int64_t> A(K+1, 1);
    for(int i=1; i<=K; i++) cin >> A[i];

    vector<int> B(K+1);
    for(int i=1; i<=K; i++) B[i] = B[i-1] + min(int64_t(12), A[i]-A[i-1]);
    int M = B[K];

    vector<bool> ng(M+6);
    for(int i=1; i<=K; i++) ng[B[i]] = true;
    for(int i=M; i>=0; i--){
        for(int a=1; a<=3; a++) if(ng[i+a] && ng[i+7-a]) ng[i] = true;
    }
    cout << (ng[0] ? "No" : "Yes") << endl;
}