CF2000F.Color Rows and Columns

你有 $n$ 个矩形，第 $i$ 个矩形的宽度为 $a_i$，高度为 $b_i$。

你可以无限次地执行这个操作：

选择其中的一个矩形并为其矩形内的一个单元格着色。

当每次有任意一个矩形内的一行或一列被完全着色，你都可以获得 $1$ 分。你的任务是去用尽量少的操作次数来获得至少 $k$ 的得分

假设有一个宽度为 $6$，高度为 $3$ 的矩形，你可以对矩形中的任意四列着色，从而使用 $12$ 次操作，获得 $4$ 分

第一行是一个整数 $t$，表示一共有 $t$ 组数据。

每个测试用例的第一行是两个整数 $n$ 和 $k$，表示共有 $n$ 个矩形，$k$ 的意思同上文所说。

接下来的 $n$ 行包含对矩形的描述，第 $i$ 行是两个整数 $a_i$ 和 $b_i$，表示一个矩形的宽和高。

对于每个测试用例，输出一个整数表示要获得至少 $k$ 分所需要的最小操作次数。如果无论如何都无法获得 $k$ 分，请输出 $-1$。

对于 $100\%$ 的数据，保证 $1 \le t \le 100$，$1 \le n \le 1000$，$1 \le k \le 100$，$\sum n \le 1000$，$1 \le a_i,b_i \le 100$。