#include <bits/stdc++.h>
using namespace std;
int sum[10000];
bool prime(int x) {
  for (int i = 2; i <= sqrt(x * 1.0); ++i)
    if (x % i == 0) return false;
  return true;
}
int main() {
  int cnt = 2;
  for (int i = 3; i <= 1000; ++i) {
    if (prime(i)) {
      if (prime(cnt + i + 1)) sum[cnt + i + 1] = 1;
      cnt = i;
    }
  }
  for (int i = 2; i <= 1000; ++i) sum[i] += sum[i - 1];
  int n, k;
  cin >> n >> k;
  if (sum[n] >= k)
    cout << "YES" << endl;
  else
    cout << "NO" << endl;
  return 0;
}
