El Centro de formación de programadores para la Olimpiada, tiene n estudiantes. De cada estudiante se conoce el número de veces que ha participado en el campeonato mundial de programación ACM ICPC. Según las reglas del ACM ICPC, cada persona puede participar en el campeonato mundial como máximo 5 veces.

Ahora el LÍDER hay que seleccionar miembros para los equipos, para participar en el campeonato mundial. Cada equipo debe estar formado por exactamente tres personas, es decir, ninguna persona puede ser miembro de dos o más equipos. ¿Qué número máximo de equipos puede formar el líder si quiere que cada equipo participe en el campeonato mundial con los mismos miembros al menos K veces?

La primera línea contiene dos números enteros, N y K (1 ≤ N ≤ 2000; 1 ≤ K ≤ 5).
La siguiente línea contiene N enteros: Y1, Y2, ..., Yn (0 ≤ Yi ≤ 5), donde Yi muestra el número de veces que la i-ésima persona participó en el campeonato mundial ACM ICPC.

Imprime un solo número: la respuesta al problema.

En el caso de prueba, sólo se puede formar un equipo: el primero, el cuarto y el quinto participantes. Ya que el segundo y tercero, tiene 3 y 4 veces, respectivamente, que ya participaron.