#include<bits/stdc++.h>
using namespace std;
const int N=1005;
bitset<N>isnp;
vector<int>a;
void init()
{
    isnp[1]=1;
    for(int i=2;i<=N;i++)
    {
        if(!isnp[i])
        {
            a.push_back(i);
            for(int j=i*2;j<=N;j+=i)isnp[j]=1;
        }
    }
}
int main()
{
    init();
    int n,k,ans=0;
    cin>>n>>k;
    for(int i=2;a[i]<=n;i++)
        for(int j=1;j<i;j++)if(a[i]==a[j]+a[j-1]+1)ans++;
    if(ans>=k)cout<<"YES";
    else cout<<"NO";
}