#include<bits/stdc++.h>
#define ull unsigned long long
using namespace std;




int main()
{
    // ios_base::sync_with_stdio(false);
    // cin.tie(NULL);

    int a[1000];
    memset(a, 0, sizeof(a));
    for(int i=2; i*i<=1000; i++)
    {
        if(a[i]==0)
        {
            for(int j=i*i; j<=1000; j+=i)
            {
                a[j]=1;
            }
        }
    }

    vector<int>prime;

    for(int i=2; i<=1000; i++)
    {
        if(a[i]==0)
        {
            int temp=i;
            prime.push_back(temp);
        }
    }

    bool flag=false;
    int count=0;
    int n, k;
    cin>>n>>k;

    int size = prime.end() - prime.begin();
    for(int i=0; i< size-1; i++)
    {
        int temp= prime[i]+prime[i+1]+1;
        if(temp>n) break;
        if(a[temp]==0 && temp<=n)
        {
            count++;
            if(count>=k)
            {
                flag=true;
                break;
            }
        }
    }
    if(flag) cout<<"YES";
    else cout<<"NO";



    return 0;

}