Source：CF1223G。

题目描述

来⾃ fot 机房的⼩ L，给了你⼀个序列 $A$。由于序列的不稳定性，它会随机将⼀个数 $c$ 分解为 $a,b$ 且 $a+b=c$，可以分解多次。令操作完的序列为 $B$。

之后，⼩ L 给定你⼀个 $k$ 并询问你，当前存在的所有可能的序列 $B$ 中，是否存在⼀个⼆元组 $(x,y)$，满⾜：

1. 可以从 $B$ 中取出 $2$ 个 $x$ 和 $x$ 个 $y$。
2. $x\ge 2$，$y\ge 2$，$x\ge k$。

如果对于任意可能的序列不存在这样的⼆元组，输出 qinggebaqiliaogewudi，否则输出 $xy$ 的最小值。

输入格式

输⼊第⼀⾏，是两个正整数 $n,k$，分别表⽰初始 $A$ 序列中数的个数和⼩ L 给你的数。

接下来⼀⾏，共 $n$ 个数，表⽰ $A$ 中各个数。

输出格式

输出⼀个数，表⽰你求得的答案；或是⼀个字符串，表⽰不存在这样的⼆元组。

样例

4 1
4 4 3 2

8

当 $3$ 分解为 $2$ 和 $1$ 时，有 $(2,4)$ 可以取到 $8$。可以证明不存在更优解。

8 5
7 1 8 0 6 2 9 1

21

当 $8$ 和 $9$ 各分解出⼀个 $7$ 时，有 $(3,7)$ 可以取到 $21$。可以证明不存在更优解。

数据范围

对于前 $10\%$ 的数据，$k=9800$。

对于前 $30\%$ 的数据，$n\le 500$，$A_i\le 100$。

对于前 $50\%$ 的数据，$n\le 3000$，$A_i\le 2000$。

对于前 $75\%$ 的数据，$n,A_i\le 10^5$。

对于前 $100\%$ 的数据，$0\le n,A_i\le 5\times 10^5$。