有两处更改：

1. 无解信息统一成了 NIE DA SIE。
2. 优化 SPJ 常数并开大时限，尽量避免了由 SPJ 超时导致的 UKE。