CF1455D.Sequence and Swaps

You are given a sequence $a$ consisting of $n$ integers $a_1, a_2, \dots, a_n$, and an integer $x$. Your task is to make the sequence $a$ sorted (it is considered sorted if the condition $a_1 \le a_2 \le a_3 \le \dots \le a_n$ holds).

To make the sequence sorted, you may perform the following operation any number of times you want (possibly zero): choose an integer $i$ such that $1 \le i \le n$ and $a_i \gt x$, and swap the values of $a_i$ and $x$.

For example, if $a = [0, 2, 3, 5, 4]$, $x = 1$, the following sequence of operations is possible:

1. choose $i = 2$ (it is possible since $a_2 \gt x$), then $a = [0, 1, 3, 5, 4]$, $x = 2$;
2. choose $i = 3$ (it is possible since $a_3 \gt x$), then $a = [0, 1, 2, 5, 4]$, $x = 3$;
3. choose $i = 4$ (it is possible since $a_4 \gt x$), then $a = [0, 1, 2, 3, 4]$, $x = 5$.

Calculate the minimum number of operations you have to perform so that $a$ becomes sorted, or report that it is impossible.

给你一个由 $n$ 个整数 $a_1, a_2, \dots, a_n$ 构成的序列 $a$，以及一个整数 $x$。你的任务是使序列 $a$ 变为非递减序列（即满足 $a_1 \le a_2 \le a_3 \le \dots \le a_n$）。

为使序列 $a$ 有序，你可以执行以下操作任意多次（包括零次）：选择一个下标 $i$，满足 $1 \le i \le n$ 且 $a_i > x$，然后交换 $a_i$ 与 $x$ 的值。

例如，若 $a = [0, 2, 3, 5, 4]$，$x = 1$，则以下操作序列是可行的：

1. 选择 $i = 2$（可行，因为 $a_2 > x$），得到 $a = [0, 1, 3, 5, 4]$，$x = 2$；
2. 选择 $i = 3$（可行，因为 $a_3 > x$），得到 $a = [0, 1, 2, 5, 4]$，$x = 3$；
3. 选择 $i = 4$（可行，因为 $a_4 > x$），得到 $a = [0, 1, 2, 3, 4]$，$x = 5$。

请计算使 $a$ 变为有序所需的最少操作次数；若不可能实现，则报告该情况。

The first line contains one integer $t$ ($1 \le t \le 500$) — the number of test cases.

Each test case consists of two lines. The first line contains two integers $n$ and $x$ ($1 \le n \le 500$, $0 \le x \le 500$) — the number of elements in the sequence and the initial value of $x$.

The second line contains $n$ integers $a_1$, $a_2$, ..., $a_n$ ($0 \le a_i \le 500$).

The sum of values of $n$ over all test cases in the input does not exceed $500$.

第一行包含一个整数 $t$（$1 \le t \le 500$）—— 测试用例的数量。

每个测试用例由两行组成。第一行包含两个整数 $n$ 和 $x$（$1 \le n \le 500$，$0 \le x \le 500$）—— 序列中元素的个数以及 $x$ 的初始值。

第二行包含 $n$ 个整数 $a_1$, $a_2$, ..., $a_n$（$0 \le a_i \le 500$）。

输入中所有测试用例的 $n$ 值之和不超过 $500$。

For each test case, print one integer — the minimum number of operations you have to perform to make $a$ sorted, or $-1$, if it is impossible.

对于每个测试用例，输出一个整数——使 $a$ 变为有序所需的最少操作次数；如果不可能，则输出 $-1$。