#include <bits/stdc++.h>
using namespace std;
bool prime[1050];
void seive() {
  for (int i = 0; i * i <= 1000; ++i) {
    if (prime[i]) {
      for (int j = 2 * i; j <= 1000; j += i) prime[j] = false;
    }
  }
}
int main() {
  for (int i = 0; i <= 1000; ++i) prime[i] = true;
  prime[0] = prime[1] = false;
  seive();
  int a[1001], p = 0;
  for (int i = 1; i <= 1000; ++i)
    if (prime[i]) a[p++] = i;
  int n, k, sum = 0;
  cin >> n >> k;
  int cnt = 0;
  for (int i = 0, res; 1; ++i) {
    res = a[i] + a[i + 1] + 1;
    if (res > n) break;
    if (res <= n && prime[res]) cnt++;
  }
  cnt >= k ? cout << "YES" : cout << "NO";
  return 0;
}
