import java.util.Scanner;

public class Main {
	public static void main(String[] args) throws Exception {
		Scanner sc = new Scanner(System.in);
		long n = sc.nextLong();
		int k = sc.nextInt();
		long[] a = new long[k];
		for (int i = 0; i < k; i++) {
			a[i] = sc.nextLong();
		}
		sc.close();

		boolean[] b = new boolean[30];
		for (int i = 0; i < k; i++) {
			if (a[i] < 25) {
				int c = (int) a[i];
				b[c] = true;
			} else {
				int start = i;
				if (i > 0 && a[i - 1] > 20) {
					start--;
				}
				for (int j = start; j < k; j++) {
					for (int j2 = j + 1; j2 < k; j2++) {
						if (a[j] + 1 == a[j2] || a[j] + 3 == a[j2] || a[j] + 5 == a[j2]) {
							System.out.println("No");
							return;
						}
					}
				}
				break;
			}
		}
		for (int i = 24; i >= 0; i--) {
			if (b[i + 1] && b[i + 6]) {
				b[i] = true;
			}
			if (b[i + 2] && b[i + 5]) {
				b[i] = true;
			}
			if (b[i + 3] && b[i + 4]) {
				b[i] = true;
			}
		}
		if (b[1]) {
			System.out.println("No");
		} else {
			System.out.println("Yes");
		}
	}
}