#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

数据范围与提示

对于 的数据,保证