#include <bits/stdc++.h>
using namespace std;
int readInt() {
  bool minus = false;
  int result = 0;
  char ch;
  ch = getchar();
  while (true) {
    if (ch == '-') break;
    if (ch >= '0' && ch <= '9') break;
    ch = getchar();
  }
  if (ch == '-')
    minus = true;
  else
    result = ch - '0';
  while (true) {
    ch = getchar();
    if (ch < '0' || ch > '9') break;
    result = result * 10 + (ch - '0');
  }
  if (minus)
    return -result;
  else
    return result;
}
template <class T>
T mulmod(T a, T b) {
  if (b == 0) return 0;
  if (b == 1) return a;
  T x = mulmod(a, b >> 1);
  x = (x + x) % 1000000007;
  if (b & 1) x = (x + a) % 1000000007;
  return x;
}
template <class T>
T larger(T a, T b) {
  return (a > b ? a : b);
}
template <class T>
T smaller(T a, T b) {
  return (a < b ? a : b);
}
template <class T>
T gcd(T a, T b) {
  if (b == 0) return a;
  return gcd(b, a % b);
}
template <class T>
T lcm(T a, T b) {
  return (a * b) / gcd(a, b);
}
template <class T>
string converter(T n) {
  stringstream x;
  x << n;
  return x.str();
}
template <class T>
T pw(T a, T b) {
  if (b == 0) return 1;
  T x = pw(a, b >> 1);
  x = (x * x) % 1000000007;
  if (b & 1) x = (x * a) % 1000000007;
  return x;
}
template <class T1>
void deb(T1 e1) {
  cout << e1 << endl;
}
template <class T1, class T2>
void deb(T1 e1, T2 e2) {
  cout << e1 << " " << e2 << endl;
}
template <class T1, class T2, class T3>
void deb(T1 e1, T2 e2, T3 e3) {
  cout << e1 << " " << e2 << " " << e3 << endl;
}
template <class T1, class T2, class T3, class T4>
void deb(T1 e1, T2 e2, T3 e3, T4 e4) {
  cout << e1 << " " << e2 << " " << e3 << " " << e4 << endl;
}
template <class T1, class T2, class T3, class T4, class T5>
void deb(T1 e1, T2 e2, T3 e3, T4 e4, T5 e5) {
  cout << e1 << " " << e2 << " " << e3 << " " << e4 << " " << e5 << endl;
}
template <class T1, class T2, class T3, class T4, class T5, class T6>
void deb(T1 e1, T2 e2, T3 e3, T4 e4, T5 e5, T6 e6) {
  cout << e1 << " " << e2 << " " << e3 << " " << e4 << " " << e5 << " " << e6
       << endl;
}
bool p[1005] = {1, 1};
int pr[200];
void letsgo() {
  for (int i = 2; i * i <= 1001; i++)
    if (!p[i])
      for (int j = i * i; j <= 1001; j += i) p[j] = 1;
  int z = 1;
  pr[0] = 2;
  for (int i = 3; i < 1001; i += 2)
    if (!p[i]) pr[z++] = i;
  int n, k;
  cin >> n >> k;
  int lel = 0;
  set<int> q;
  for (int i = 0; i < z - 1; i++) {
    q.insert(pr[i] + pr[i + 1]);
  }
  for (int i = 0; i < z; i++) {
    int prime = pr[i];
    if (prime > n) break;
    if (q.find(prime - 1) != q.end()) lel++;
    if (lel >= k) {
      cout << "YES\n";
      return;
    }
  }
  cout << "NO\n";
}
int main() {
  letsgo();
  return 0;
}
