题目描述

萨拉托夫国立大学奥林匹克程序员训练中心（SSU OPTC）有 $n$ 名学生。对于每一位学生，你都知道他（她）参加 ACM ICPC 世界编程锦标赛的次数。按照 ACM ICPC 的规则，每个人最多可以参加世界锦标赛 5 次。

SSU OPTC 的负责人最近在组队参加世界锦标赛。每支队伍必须正好有三人，并且任何人不能同时参加多支队伍。若想让每支队伍保持原班人马至少一同参加 $k$ 次世界锦标赛，最多能组建多少支队伍？

输入格式

第一行包含两个整数 $n$ 和 $k$，满足 $1 \leq n \leq 2000$，$1 \leq k \leq 5$。
第二行包含 $n$ 个整数：$y_{1}, y_{2}, \ldots, y_{n}$，$0 \leq y_{i} \leq 5$，其中 $y_{i}$ 表示第 $i$ 位学生已经参加 ACM ICPC 世界锦标赛的次数。

输出格式

输出一个整数，表示最多可以组建的队伍数。

说明/提示

在第一个样例中，只能组建一支队伍：第 1、4、5 个人员。

在第二个样例中，无法组建任何队伍。

在第三个样例中，可以组建两支队伍。任何方式的分队都是可行的。

由 ChatGPT 5 翻译

样例

5 2
0 4 5 1 0

1

6 4
0 1 2 3 4 5

0

6 5
0 0 0 0 0 0

2