#35. [WPXCO 1.0 MAR] [二分] [枚举] Make Pairs

内存限制:256 MiB 时间限制:1000 ms 标准输入输出
题目类型:传统 评测方式:文本比较
上传者: 2024-J-W010

题目描述

Kirole 在心里想了一个介于 到 之间的整数 和 条关于 的描述。

对于第 条描述,它的含义为: 。

请你判断,如果 Kirole 如实描述,没有矛盾,输出最小的整数 。否则输出 表示存在矛盾。

输入格式

第一行一个正整数 表示数据数量。

对于每一个数据:

第一行两个用空格分隔的正整数 。

接下来一行, 个正整数表示 。

接下来一行, 个正整数表示 。

输出格式

如果描述没有矛盾,输出最小的正整数 。

如果存在矛盾,输出 。

样例

样例

样例输入

2
10 3
1 2 3
5 6 4
5 2
1 3
2 4

样例输出

3
-1

数据范围与提示

对于 的数据,保证