#include <bits/stdc++.h>
using namespace std;
bool isPrime(int n) {
  if (n == 1)
    return 1;
  else if (n < 2)
    return 0;
  for (int i = 2; i <= n / i; ++i)
    if (n % i == 0) return 0;
  return 1;
}
int main() {
  int n, k;
  cin >> n >> k;
  int co = 0;
  int suc = 0;
  for (int i = 2; i <= n; i++) {
    if (isPrime(i)) {
      for (int j = 2; j < i / 2; j++) {
        if (isPrime(j)) {
          for (int h = j + 1; h < i; h++) {
            if (isPrime(h)) {
              if (((i - 1) - h) == j) {
                co++;
                break;
              } else
                break;
            }
          }
        }
      }
    }
    if (co == k) {
      suc++;
      break;
    }
  }
  if (suc)
    cout << "YES";
  else
    cout << "NO";
  return 0;
}
