import java.util.*;
import static java.lang.System.*;

public class Main {

	public static void main(String[] args) {
		try (Scanner sc = new Scanner(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();
			HashSet<Long> set = new HashSet<>();
			for (long i : A) set.add(i);
			boolean No = false;
			boolean[] test = new boolean[30];
			for (int i = 20;i >= 0;-- i) {
				test[i] = set.contains((long)i);
				for (int j = 1;j <= 3;++ j) test[i] |= test[i + j] & test[i + 7 - j];
			}
			No |= test[1];
			for (long i : A) if (i > 20) for (int j = 0;j < 3;++ j) No |= set.contains(i + 2 * j + 1);
			out.println(No ? "No" : "Yes");
		}
	}

}