Symbol: SOLVER_TRANSACTION_MULTIREINSTALL