#include <bits/stdc++.h>
using namespace std;
int n, k;
bool pr[1010];
int main() {
  cin >> n >> k;
  int i, j, x, y, sum = 0;
  for (i = 2; i <= 1000; i++) pr[i] = 1;
  for (i = 2; i <= 31; i++)
    if (pr[i] == 1)
      for (j = 2; i * j <= 1000; j++) pr[i * j] = 0;
  for (i = 13; i <= n; i++) {
    if (pr[i]) {
      for (x = (i - 1) / 2; !pr[x]; x--)
        ;
      for (y = (i - 1) / 2; !pr[y]; y++)
        ;
      if (x + y + 1 == i && x != y) sum++;
    }
  }
  if (sum < k)
    cout << "NO";
  else
    cout << "YES";
  return 0;
}
