#include <bits/stdc++.h>
using namespace std;
int main() {
  ios::sync_with_stdio(false);
  bool p[1003] = {1, 1, 0}, q[2003] = {};
  vector<int> r;
  for (int i = 3; i < 1000; i++)
    for (int j = 2; j < i; j++)
      if (i % j == 0) p[i] = 1;
  for (int i = 1; i <= 1000; i++)
    if (!p[i]) r.push_back(i);
  for (int i = 0; i < r.size() - 1; i++) q[r[i] + r[i + 1] + 1] = 1;
  int n, k, c = 0;
  cin >> n >> k;
  for (int i = 1; i <= n; i++)
    if (!p[i] && q[i]) c++;
  if (c >= k)
    cout << "YES";
  else
    cout << "NO";
}
