#include <bits/stdc++.h>
using namespace std;
int main() {
int count = 0, ans, n, m, temp;
cin >> n >> m;
vector<int> seats;
for(int i=0; i<m; i++)
{
cin >> temp;
seats.push_back(temp);
}
for(int i=0; i<seats.size(); i++)
{
if(seats[i] == 1)
{
count++;
}
}
ans = (m-3) - count;
cout << ans;
if(ans >= n)
{
cout << "Yes";
}
else
{
cout << "No";
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CgppbnQgbWFpbigpIHsKCWludCBjb3VudCA9IDAsIGFucywgbiwgbSwgdGVtcDsKCWNpbiA+PiBuID4+IG07Cgl2ZWN0b3I8aW50PiBzZWF0czsKIAlmb3IoaW50IGk9MDsgaTxtOyBpKyspCgl7CgkJY2luID4+IHRlbXA7CgkJc2VhdHMucHVzaF9iYWNrKHRlbXApOwoJfQogICAgZm9yKGludCBpPTA7IGk8c2VhdHMuc2l6ZSgpOyBpKyspCiAgICB7CiAgICAgICAgaWYoc2VhdHNbaV0gPT0gMSkKICAgICAgICB7CiAgICAgICAgICAgIGNvdW50Kys7CiAgICAgICAgfQogICAgfQogICAgYW5zID0gKG0tMykgLSBjb3VudDsKICAgIGNvdXQgPDwgYW5zOwogICAgaWYoYW5zID49IG4pCiAgICB7CiAgICAgICAgY291dCA8PCAiWWVzIjsKICAgIH0KICAgIGVsc2UKICAgIHsKICAgICAgICBjb3V0IDw8ICJObyI7CiAgICB9CglyZXR1cm4gMDsKfQ==