编程题
### 问题描述
小齐的 $N$ 头奶牛站在一条长长的一维栅栏上。第 $i$ 头奶牛站在位置 $x_i$(一个在 $0 \sim 1,000,000,000$ 范围内的整数),并且有品种 $b_i$(一个在 $1 \sim 8$ 范围内的整数)。奶牛之间的位置不会重叠。
小齐想要为县展拍摄一张奶牛的照片,但是他希望所有的品种在照片中都能公平地被代表。因此,他想要确保,对于照片中出现的品种,每个品种的数量相等。小齐还希望至少有 $K$($K \geq 2$)种品种(总共有 $8$ 种)在照片中有代表。通过找到符合小齐约束的照片的最大尺寸,帮助小齐拍摄照片。
如果没有满足小齐约束的照片,则输出 $-1$。
### 输入格式
第 $1$ 行:$N$ 和 $K$,用空格分隔。
接下来 $N$ 行:每行包含两个整数,描述一头奶牛的位置和品种;$x_i$ 和 $b_i$。
### 输出格式
一个整数,表示公平照片的最大尺寸。如果不存在这样的照片,输出 $-1$。
### 样例输入
```
9 2
1 1
5 1
6 1
9 1
100 1
2 2
7 2
3 3
8 3
```
### 样例输出
```
6
```
### 评测数据规模
$1 \leq x_i \leq 1,000,000,000$,$1 \leq b_i \leq 8$。