#include <bits/stdc++.h>
using namespace std;
int prime[1001];
int primes[168];
void siv() {
  prime[0] = 1;
  prime[1] = 1;
  for (int i = 4; i <= 1000; i += 2) prime[i] = 1;
  for (int i = 3; i < 1000; i += 2) {
    if (prime[i] == 0) {
      for (int j = i * 2; j < 1000; j += i) {
        prime[j] = 1;
      }
    }
  }
}
int main() {
  siv();
  int c = 0;
  for (int i = 0; i <= 1000; i++) {
    if (prime[i] == 0) primes[c++] = i;
  }
  int n, k;
  c = 0;
  scanf("%d %d", &n, &k);
  for (int i = 0; i < 168; i++) {
    if (primes[i] > n) break;
    for (int j = 0; j < i; j++) {
      if (primes[j] + primes[j + 1] == primes[i] - 1)
        c++;
      else if (primes[j] + primes[j + 1] > primes[i] - 1)
        break;
    }
  }
  if (c >= k)
    printf("YES\n");
  else
    printf("NO\n");
  return 0;
}
