描述
有n个学生，每个学生已经参加了k次比赛。现在需要选择一些学生组成团队，每个团队由3个学生组成，且每个团队中的学生必须满足：他们每个人已经参加的比赛次数加上未来要参加的比赛次数不超过5次。
请问最多可以组成多少个这样的团队？
输入
第一行包含两个整数n和k，分别表示学生的数量和每个学生已经参加的比赛次数。 第二行包含n个整数y_i，表示每个学生已经参加的比赛次数。
对于100%的数据：
1\le n \le 2000
1 < k \le 5
0 \le y_i \le 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