prob_23 solve