Link
原因：只判了 $a_i\le k$ 的上界，并没有判 $a_i \ge 1$ 的下界。
Hack 数据：

1
1 1 1
1 1 1

正确输出：-1
错误输出：1