#include <bits/stdc++.h>
using namespace std;
int main() {
  vector<bool> bp(2001, true);
  bp[0] = false;
  bp[1] = false;
  for (int i = 2; i * i <= 2000; i++) {
    if (!bp[i]) continue;
    for (int j = i * i; j <= 2000; j += i) bp[j] = false;
  }
  vector<int> ip;
  ip.push_back(2);
  for (int i = 3; i <= 2000; i += 2) {
    bool flag = true;
    for (int j = 0; j < ip.size(); j++) {
      if (i < ip[j] * ip[j]) break;
      if (i % ip[j] == 0) {
        flag = false;
        break;
      }
    }
    if (flag) ip.push_back(i);
  }
  int n, k, test, num;
  cin >> n >> k;
  num = 0;
  int i = 0;
  while (++i) {
    test = ip[i] + ip[i + 1] + 1;
    if (test > n) break;
    if (bp[test]) num++;
  }
  if (num >= k)
    cout << "YES" << endl;
  else
    cout << "NO" << endl;
  return 0;
}
