# 题目描述

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

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

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

## 输入格式

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

第二行有n个整数a[i],每个整数代表一份水果的类别

## 输出格式

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

# 样例输入/输出

```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<=10^3

80%数据:4<=k<=10^6

100%数据:4<=k<=10^12;4<=n<=10^3;0<=a[i]<=k

时间限制：1000ms.

内存限制：256MB.