Yes, I encoded the file as a progressive 25 fps 720x576. I used DGpulldown to turn it into 23.976 fps progressive file with 25 fps 2:3 pulldown flags. It's very easy to do with the "custom" setting set to "23.976 --> 25" and takes only a few minutes. But I don't have it anymore, I watched it once and decided I don't want to see the SE ever again.