rt，本题思路不是很好想，且难以证明数独解数大于字符串可能数、以及 100pts 过程中的解数量需求。

简单一点基本只能靠不完全归纳法（猜），并且代码没有很好写（赛后榜上无人通过此题）