I need help on determining which is the best & cheap 4K HDR tv in malaysia right now to match with my ps4 pro.

The following criterias are needed:

4K resolution (3840x2160p)
HDR 10bit
Input lag <30ms if possible

My budget is < rm4000.
Tv size perhaps 49" or lower

I understood that some tv offer different HDR results and when we use HDR mode, the input lag will be increased! But can be rectified by using Game Mode.

So right now i had my eye on these 2:

Sony X800D 4K HDR tv 43" - 43" using VA (vertical alignment) panel which offers best color quality, 49" using IPS
Samsung KS6000 4K HDR 43"

Or should i just stick to 1080p since 4K HDR is still new at the moment? 1080p on ps4 pro to me aleady looked gorgeous and quite smooth when playing my Battlefield 1. Currently, i am using samsung 40" UE5000 LED tv.

Summoning all 4K tv sifus and otais to give some insights thanks!