Symbol: di_entersolvable