#include <bits/stdc++.h>
bool isprime[1001];
int p[1001 << 1], num, n;
void prime() {
  isprime[0] = isprime[1] = true;
  for (int i = 2; i < n; ++i) {
    if (!isprime[i]) p[num++] = i;
    for (int j = 0; j < num && i * p[j] < n; j++) {
      isprime[i * p[j]] = true;
      if (!(i % p[j])) break;
    }
  }
}
int main() {
  int s, k, ans = 0;
  scanf("%d%d", &n, &k);
  prime();
  for (int i = 0, j = num - 1; i < j; ++i) {
    s = p[i] + p[i + 1] + 1;
    if (s > n) break;
    ans += !isprime[s];
  }
  if (ans >= k)
    puts("YES");
  else
    puts("NO");
  return 0;
}
