n, k = gets.split.map(&:to_i)
a = gets.split.map(&:to_i).map(&:pred)

(0 ... k).each do |i|
    (i + 1 ... k).each do |j|
        if [1, 3, 5].include?(a[j] - a[i])
            if a[i] >= 100
                puts "No"
                exit
            end
        end
    end
end

can = [true] * 200

a.each do |x|
    can[x] = false if x < 200
end

(0 ... 150).reverse_each do |i|
    if (!can[i + 1] && !can[i + 6]) || (!can[i + 2] && !can[i + 5]) || (!can[i + 3] && !can[i + 4])
        can[i] = false
    end
end

puts (can[0] ? 'Yes' : 'No')