暂无测试数据。

题目描述

蒜头君要和他的小伙伴们举办一场程序设计竞赛，蒜头君收到了一共 $n$ 道题。

蒜头君给这些题的表上了难度等级，分别用整数 $0,1,2,3,4,5$ 表示。 $0$ 表示最简单， $5$ 表示最难。

组织一场比赛需要一套共四道题，而蒜头君设置了一个难度阈值 $k$ ，当题目本身的难度等级加上难度阈值 $k$ 后不超过 $5$ 时才会被选用。

蒜头君想问你给定他的题和难度阈值的信息后，你能确定他最多能组出多少套题吗？

输入描述

第一行包含两个整数 $n$ 和 $k$。

接下来一行共 $n$ 个数：$a_1, a_2,\cdots,a_n$。其中 $a_i(1\leq i\leq n)$ 代表第 $i$ 题的难度等级。

输出描述

输出一个整数，代表蒜头君最多能组织多少场比赛。

数据范围

本题共 $25$ 个测试点，各测试点详细信息见下表。

测试点编号	$n$	$k$	$a$中的元素
$1\sim 5$	$n \leq 1000$	大于等于 $0$ ，小于等于 $5$	大于等于 $0$ ，小于等于 $5$
$6\sim 11$	$n\leq 100000$	大于等于 $0$ ，小于等于 $5$	大于等于 $0$ ，小于等于 $5$
$12\sim 16$	$n\leq 100000$	大于等于 $0$ ，小于等于 $5$	全部为$0$
$17\sim 21$	$n\leq 100000$	全部为$0$	大于等于$0$小于等于$5 $
$22$	$n\leq 100000$	全部为 $0$	全部为 $5$
$23$	$n\leq 100000$	全部为 $5$	全部为 $0$
$24$	$n\leq 100000$	全部为 $0$	全部为 $0$
$25$	$n\leq 100000$	全部为 $5$	全部为 $5$

5 2
0 1 5 1 0

1

6 4
0 1 2 3 4 5

0

8 5
0 0 0 0 0 0 0 0

2