Symbol: finish_solvable