题目描述

体育课上，老师要对 $n$ 名同学进行若干次长跑训练，同学们的长跑水平各不相同，我们以 $a_i$ 记录（从 1 到 $k$），$1$ 级表示速度最慢，$k$ 级表示速度最快；每次训练，所有同学都必须参加，但是水平相同的多名同学中只能有 $1$ 名同学提高 $1$ 个等级（已经训练到 $k$ 等级的同学就不会提升了），每次训练花费 $1$ 个单位经费。编程计算，要把所有的同学的长跑水平都提升到 $k$ 等级，至少需要花费多少经费。

输入格式

第一行为两个正整数 $n$ 和 $k$，第二行为 $n$ 个正整数 $a_i$，分别表示每个同学的初始水平。

输出格式

输出最少的花费。

样例

输入数据#1

4 4
1 2 2 3

输出数据#1

4

解释#1

样例1中，需要经过$4$次训练，过程是：{1 2 2 3}→{2 2 3 4}→{2 3 4 4}→{3 4 4 4}→{4 4 4 4}。

输入数据#2

4 3
1 1 1 1

输出数据#2

5

数据范围

$30 \%$ 数据 $a_i$ 各不相同

$100\%$ 的数据中，$n \leq 1000$，$k \leq 100$，$1 \leq a_i \leq k$。