#include<bits/stdc++.h>
using namespace std;
bool sushu(int x)
{
    if(x<2)
    {
        return false;
    }
    for(int i=2;i*i<=x;i++)
    {
        if(x%i==0)
        {
            return false;
        }
    }
    return true;
}
int main()
{
    int n, k, cnt=0;
    cin>>n>>k;
    for(int i=5;i<=n;i++)
    {
        if(sushu(i)==true)
        {
            int a=i-1;
            for(int j=2;j*2<=a;j++)
            {
                if(sushu(j)==true&&(sushu(j+1)==true||sushu(j-1)==true))
                {
                    cnt++;
                    break;
                }
            }
        }
    }
    if(cnt>=k)
    {
        cout<<"YES";
    }
    else
    {
        cout<<"NO";
    }
    return 0;
}