题目描述

强哥自从发现自己学不会算法后，于是大呼"学编程救不了小黑子"，便放弃了编程学习，开始学习一门深奥的拳法《坤拳》。 坤拳是一门深奥的拳法，一共有十八式，其中最为强大的一招称为坤山靠。学习者需身穿背带裤，扎好马步，将丹田之气集于右肩，向下一沉，随后右肩向上一扬，其威力之大，足以震天撼地                                                   (坤山靠如上图所示)  强哥是一个不出世的武学奇才，他很快就学会了坤拳十八式，但是强哥不满足自己一个人学，他决定把这十八招分享给每个真正的ikun。于是乎强哥便印刷了$n$本书，书的类型一共有18种(从1到18)，其中类型为$a_i$的书籍记录了坤拳十八式中的第$a_i$式。 坤拳非常深奥，需要完整的将十八式都得到才能学习成功，强哥决定将这$n$书分给$m$个ikun(每个ikun都需要分到至少一本书，否则会生气的)，强哥想让尽可能多的ikun学会坤拳，但是强哥算法不太好，这时候他想到了聪明的你，你能帮强哥解决这个问题吗

输入格式

第一行有两个数 $n$ 和 $m$ ，表示书的数量和需要分配书籍的ikun的数量。 第二行为 $n$ 个数，其中第 $i$ 个数是第 $i$ 本书的编号 $a_i$(编号范围从1到18)。

输出格式

只有一个数，最多能完整学完坤拳的ikun人数。

18 1

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18

提示```