[432A] Eligiendo equipos

Enlace a Codeforces

El Centro de Entrenamiento para Programadores de Olimpiada de la Universidad Estatal de Saratov (CEPO UES) tiene $n$ estudiantes. Para cada estudiante conoces el número de veces que ha participado en el campeonato mundial de programación ACM ICPC. De acuerdo a las reglas del ACM ICPC, cada persona puede participar en el campeonato mundial a lo más 5 veces.

El director del CEPO UES recientemente está juntando equipos para participar en el campeonato mundial. Cada equipo debe consistir de exactamente tres personas, y sumado a ello, ninguna persona puede pertenecer a más de un equipo. ¿Cuál es el máximo de equipos que el director puede formar si quiere que cada equipo participe en el campeonato mundial con los mismos miembros al menos $k$ veces?

Entrada

La primera línea contiene dos enteros $n$ y $k$ ($1 \leq n \leq 2000$; $1 \leq k \leq 5$). La siguiente línea contiene $n$ enteros: $y_1, y_2, \ldots, y_n$ ($0 \leq y_i \leq 5$), donde $y_i$ muestra el número de veces que la i-ésima persona ha participado en el campeonato mundial ACM ICPC.

Salida

Imprime un número: la respuesta al problema.

Ejemplos

input:
5 2
0 4 5 1 0

output:
1

input:
6 4
0 1 2 3 4 5

output:
0

input:
6 5
0 0 0 0 0 0

output:
2

Nota

En el primer ejemplo se puede formar un sólo equipo: el primer, el cuarto y el quinto estudiante.

En el segundo ejemplo no se puede crear ningún equipo.

En el tercer ejemplo se pueden crear dos equipos. Cualquier partición en dos equipos funciona.