RT;
#include <bits/stdc++.h>
using namespace std;
bool Pr[1005];
int main()
{
int n,k;
cin >> n >> k;
memset(Pr,1,sizeof(Pr));
Pr[1] = 0;
for (int i = 2;i <= n;i++)
if (Pr[i])
for (int j = 2;j * i <= n;j++)
Pr[i * j] = 0;
int cnt = 0,sum;
for (int i = 2;i <= n;i++)
{
if (!Pr[i]) continue;
sum = 0;
for (int j = 1;;j++)
if (Pr[i - j])
{
sum += i - j;
break;
}
for (int j = 1;;j++)
if (Pr[i + j])
{
sum += i + j;
break;
}
for (int j = 2;j < i;j++)
if (Pr[j] && sum + j + 1 == i)
{
cnt++;
break;
}
}
if (cnt >= k) puts("YES");
else puts("NO");
return 0;
}
正确帮忙必关注