本题思维难度不高（很难不发现 $S_4P$ 可以直接计算出来，之后只需使用 exgcd 求解二元一次不定方程），由于可以用 python 规避高精度，实现难度极低。感觉没有道理评紫。