#include<bits/stdc++.h>
using namespace std;
int n,k,s[1005],cnt,ans; //2 3 5 7 11 13 17 19 23 29 31 37 41 43 47 49
bool zhi(int x)
{
	if(x<2)
		return false;
	for(int i=2;i<=x;i++)
		if(x%i==0)
			return false;
	return true;
}
int main()
{
	cin>>n>>k;
	for(int i=2;i<=n;i++)
	{
		if(zhi(i)==true)
		{
			cnt++;
			s[cnt]=i;
		}
	}
	for(int i=1;i<=cnt;i++)
	{
		for(int j=1;j<=i;j++)
		{
			for(int k=1;k<=i;k++)
			{
				if(s[i]-1==s[j]+s[k])
					ans++;
			}
		}
	}
	if(ans>=k)
		cout<<"YES";
	else
		cout<<"NO";
	return 0;
}