[ update ] solve_r_rec