#include <bits/stdc++.h>
using namespace std;
int main() {
  int n, k, i, x[2005], t = 0, ans = 0;
  scanf("%d %d", &n, &k);
  for (i = 0; i < n; scanf("%d", x + i++))
    ;
  sort(x, x + n);
  for (i = 0; i < n; i++) {
    if (5 - x[i] >= k) {
      t++;
      if (!(t % 3)) t = 0, ans++;
    } else
      break;
  }
  printf("%d", ans);
  return 0;
}
