#include <bits/stdc++.h>
using namespace std;
vector<int> a;
int n, k, f, c, ans;
int main() {
  cin >> n >> k;
  for (int i = 2; i <= n; i++) {
    f = 0;
    for (int j = 2; j <= i / 2; j++) f += (i % j == 0);
    if (f == 0) a.push_back(i);
  }
  for (int i = 2; i < a.size(); i++)
    for (int j = 1; j < i && a[j - 1] + a[j] + 1 <= a[i]; j++)
      if (a[j - 1] + a[j] + 1 == a[i]) ans++;
  if (ans >= k)
    cout << "YES";
  else
    cout << "NO";
  return 0;
}
