Symbol: di_nextsolvable