( arg min[Sn ∉{solvable}] = 5)

本章结束