[ update ] solve_r, solve_s