주사위 내기

로베르트와 피오트르가 주사위로 내기를 한다. 두 사람에게는 각 면에 $1$부터 $6$까지의 값이 적힌 정육면체 주사위가 정확히 $n$개 있다. 내기의 내용은, 모든 주사위를 한 번씩 굴렸을 때 서로 다른 값이 정확히 $k$가지만 나오게 할 수 있는지이다. 피오트르는 이미 모든 주사위를 굴렸다. 꼭 이기고 싶은 그는 로베르트가 보지 않는 사이에 몇 개의 주사위를 돌려서 눈을 바꾸기로 했다. 주사위 하나를 돌리면 $1$부터 $6$까지 원하는 값 아무거나로 바꿀 수 있다. 서로 다른 값이 정확히 $k$가지가 되도록 만들기 위해 피오트르가 돌려야 하는 주사위의 최소 개수를 구하여라.

첫째 줄에 두 정수 $n$, $k$ ($1 \le n \le 10^6$, $1 \le k \le 6$)가 주어진다. 각각 주사위의 개수와 내기에서 정한 서로 다른 값의 가짓수를 뜻한다. 둘째 줄에 $n$개의 정수 $x_1, x_2, \dots, x_n$ ($1 \le x_i \le 6$)이 주어지며, $x_i$는 피오트르가 $i$번째 주사위로 굴려서 나온 값이다.

피오트르가 내기에서 이기기 위해 돌려야 하는 주사위의 최소 개수를 한 줄에 출력한다. 그러한 방법은 항상 존재한다고 가정한다.