rt，本题唯一的难度在于正解的证明，但也有许多人将样例复制之后再输出 -1 就能 AC /cf