I want to mix some vacation clips into a single video. The sources I have are:- 48 fps- 25 fpsI don't care whether the end result will be at `24` or `25` fps but I do want to maintain the best viewing quality for the two different sources I got.So the question in my case is, what is better between the following two?- resampling `25` to `24` (and perfect resampling `48` to `24`)- resampling `48` to `25` (and leaving `25` as is)