验证代码：

n = read(), s = read(), m = read(), k = read();
assert(s < m);

but

题目保证：$s \lt m$