First time buying an aircon. Idk what to choose

Hello! I really need a help in choosing our first aircon.

Me and my wife decided na hindi na talaga kaya yung init sa pinas kaya naisipan na namin bumili ng aircon. Wfh si wife, ako onsite. Pero kasi dadating pa si baby by next month kaya mas kailangan na talaga. Sa kwarto lang naman ilalagay, 10sqm lang naman siya kaya okay na siguro 1HP.

Eto na nga kase, may mag papahiram sakin ng 20k. Ngayon, di ko alam kung alin sa dalawa yung mas okay (bang for the buck) na choice.

Yung TCL, mga nasa 18k+, yung Kolin nasa 24k+ (dagdag na lang kami konti).

Baka may nakagamit na sa inyo netong dalawang choices, matulungan ako kung alin mas okay sa dalawa.

Salamat!