当前没有测试数据。

题目描述

叶师傅买来了一大堆水果,准备给徒弟们做水果沙拉.水果的种类有很多,有苹果,香蕉,西瓜,菠萝,葡萄......总而言之有k种水果,而且为了表达方便,我们用一个整数来代表水果的类别.

叶师傅规定:4份不同的水果能组合成一碗水果沙拉.

如果叶师傅买来的水果总共有n份,那么叶师傅最多能做多少碗水果沙拉?

输入格式

第一行是两个整数n,k,分别代表水果的份数和种类数

第二行有n个整数ai,每个整数代表一份水果的类别

输出格式

输出一个整数,代表最多能做的水果沙拉碗数

样例输入/输出

```input1 10 5 1 2 3 4 2 3 4 5 1 1 ```

```output1 2 ```

```input2 12 6 1 1 1 1 3 5 6 6 2 3 1 6 ```

```output2 2 ```

```input3 22 6 4 2 5 1 1 5 6 6 1 1 6 5 6 1 4 3 5 6 4 6 2 6 ```

```output3 5 ```

数据规模与提示

样例解释:

样例2能做的2份沙拉分别是1 3 5 6 和6 2 3 1,每份水果用完就消耗掉了,不能重复利用

40%数据:4≤k≤103

80%数据:4≤k≤106

100%数据:4≤k≤1012;4≤n≤103;0≤ai≤k

时间限制：1000ms.

内存限制：256MB.