萨拉托夫国立大学奥林匹克竞赛程序员训练中心（SSU OPTC）有 $n$ 名学生。对每个学生，你知道他/她参加 ACM ICPC 世界程序设计大赛（世界总决赛）的次数。根据 ACM ICPC 规则，每个人最多只能参加世界总决赛 $5$ 次。

SSU OPTC 的负责人正在组建队伍参加世界总决赛。每支队伍必须恰好由 3 人组成，并且任何人不能同时属于两支或多支队伍。

负责人希望每支队伍都能以相同成员至少再参加世界总决赛 $k$ 次。问最多可以组建多少支队伍？

输入格式

• 第一行包含两个整数 $n$ 和 $k$（$1 \le n \le 2000$，$1 \le k \le 5$）。
• 第二行包含 $n$ 个整数 $y_1, y_2, \dots, y_n$（$0 \le y_i \le 5$），其中 $y_i$ 表示第 $i$ 个学生已经参加世界总决赛的次数。

输出格式

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

样例

输入 1

5 2
0 4 5 1 0

输出 1

1

输入 2

6 4
0 1 2 3 4 5

输出 2

0

输入 3

6 5
0 0 0 0 0 0

输出 3

2

说明

若某学生已参加次数为 $y_i$，要保证他/她还能以同一队伍成员再参加至少 $k$ 次，则必须满足：

即该学生可用当且仅当 $y_i \le 5-k$。将所有可用学生计数为 $c$，答案为：