I need a used car to drive around casually; what should I buy?

‌
I am struggling with whether to buy a sedan or an SUV.
1. Malibu 1.35T - 12 million KRW
2. The New Trax 1.4T - 9 million KRW
3. Very New Tivoli 1.5T - 11 million KRW
4. All New Soul 1.6GDI - 9 million KRW
5. Stinger 2.0T AWD - 15 million KRW
I am planning to buy one of these five. Except for the Tivoli and the
Stinger, I have driven all the others, even if only for a short time. Literally,
I will be using it for commuting by myself, so I don't need much space,
and I don't care much about fuel efficiency. The problem is, I like all five.
I'd prefer to avoid SsangYong because of parts availability, but I've
wanted to try a Tivoli for a while, so I've included it in my shortlist and am
weighing my options. Considering fuel efficiency, taxes, vehicle price, and
parts availability, which would be best? Honestly, it feels like option #2 is
the obvious answer, but since I've driven the Trax for quite a long time before
(so I know it's an incredibly cost-effective car), I keep having decision paralysis.