Migrated from Lutece 2542 马老师的餐厅

All parts of this problem, including description, images, samples, data and checker, might be broken. If you find bugs in this problem, please contact the admins.

Description

马老师是一位金牌厨师，他每天都会给冲进餐厅的同学们做菜。马老师有 $n$ 个原材料，这些原材料属于不同的种类，每个种类用不同的正整数表示。比如 1 1 1 2 2 3 表示马老师有 $6$ 个原材料，属于种类 $1$ 的原材料有三个，属于种类 $2$ 的原材料有两个，属于种类 $3$ 的原材料有一个。现在马老师要用这些原材料给同学们做菜，马老师可以用 $3$ 个互不属于同一种类的原材料做出一道菜。比如对于 1 1 1 2 2 3 这组原材料，马老师可以用 1 2 3 做出一道菜，但是不能用 1 1 2 或者 1 1 1 做出一道菜（因为这样做出的菜口味太单一，同学们不喜欢）。

由于喜欢吃马老师做的菜的同学太多了，马老师需要用有限的原材料做出尽可能多的菜。现在给你 $n$ 个原材料，请你判断马老师用这些原材料最多能做出多少道菜？

Input

第一行包含一个整数 $n\ (1\le n\le{10}^5)$，表示原材料的个数。 第二行包含 $n$ 个整数 $a_i\ (1\le a_i\le 10^9)$，表示第 $i$ 个原材料的种类。

Output

输出一个整数 $k$，表示马老师最多能做的菜的个数。

Samples

6
1 1 1 2 2 3

1

Note

用这些原材料只能做出一道菜 1 2 3 。

Resources

2021 UESTC ICPC Training for Data Structures