#include <iostream>
#include <vector>

constexpr int N = 100;

using lint = long long;

void solve() {
    lint n;
    int k;
    std::cin >> n >> k;

    std::vector<lint> xs(k);
    for (auto& x : xs) {
        std::cin >> x;
        --x;
    }

    for (int i = 0; i + 1 < k; ++i) {
        if (xs[i] < N / 2) continue;

        auto d = xs[i + 1] - xs[i];
        if (d < 6 && d % 2 == 1) {
            std::cout << "No\n";
            return;
        }
    }

    std::vector<bool> out(N, false);
    for (auto x : xs) {
        if (x < N) out[x] = true;
    }
    for (int i = N - 7; i >= 0; --i) {
        for (int d = 1; d <= 3; ++d) {
            if (out[i + d] && out[i + 7 - d]) out[i] = true;
        }
    }

    std::cout << (out[0] ? "No" : "Yes") << "\n";
}

int main() {
    std::cin.tie(nullptr);
    std::ios::sync_with_stdio(false);

    solve();

    return 0;
}