I don’t think the free version of DaVinci will export in 4K though, will it? It’s been a while since I played with it. I found it too complex for what I wanted, went with Wondershare Filmora X in the end. Not free, but not too expensive, and it will output in 4K.