Yes, SDR follows SGX 2019s trading hours and mechanism. That means, as long as the Singapore market is open, you can trade SDR even on Thai holidays. On the other hand, when it is a non-trading day in Singapore, you will not be able to trade SDR.