不是不会做，

是想知道操作次数有上界的严格证明。

大概就是操作次数 $\ge 1000$ 直接输出 $-1$（然后因为最早开的 $10000$ T 了）。

room 里面有严格 $\log$ 的做法。