is_solved() fixed