#include <bits/stdc++.h>
using namespace std;
vector<int> snt(1, 2);
int isNT(int n) {
  if (n < 2) return 0;
  for (int i = 0; snt[i] <= sqrt(n); i++) {
    if (n % snt[i] == 0) return 0;
  }
  return 1;
}
void index(int n) {
  for (int i = 3; i <= n; i++) {
    if (isNT(i)) snt.push_back(i);
  }
}
int slove(int n) {
  int ans = 0;
  for (int i = 0; i < snt.size(); i++) {
    for (int j = 0; snt[j] < snt[i] && j < snt.size(); j++) {
      if (snt[i] == snt[j] + snt[j + 1] + 1) {
        ans++;
        break;
      }
    }
  }
  return ans;
}
int main() {
  {
    cin.sync_with_stdio(0);
    cout.sync_with_stdio(0);
    cin.tie(0);
    cout.tie();
  }
  {}
  int n, k;
  cin >> n >> k;
  index(n);
  if (slove(n) >= k)
    cout << "YES";
  else
    cout << "NO";
  return 0;
}
