GR7 Pro or S23 Ultra or 15T Pro?

I got a Realme GT7 Pro (almost new, 100% battery life) with Chinese ROM.

People are offering in exchange:

• An S23 Ultra in excellent conditions, battery life unknown

• Or a Xiaomi 15T Pro (excellent conditions, only two dents) 98% battery life.

It's going to be my secondary phone. Which one should I choose?

I like Samsung Dex and One UI but Xiaomi has a better processor I think and Realme has a nicer UI.