XAVC Sでの出力

α7Ⅲの4K24fにて撮影した素材をAE2020にて編集し、4Kテレビ(ブラビア)にて鑑賞したいと考えています。

素材の形式はMP4でXAVC Sで、問題なく編集が出来ました。

テレビ鑑賞にあたり、

使用しているブラビアがα7ⅢをHDMIで繋げて4K動画を見れる、ということで、

α7Ⅲ内のSDカードに編集したファイルを入れつつ、それをテレビに繋げて見ようと思っていました。

α7Ⅲが認識可能なmp4　XAVC Sにて出力出来ればと思っていたのですが、

そもそもAE2020及びAME2020の出力候補に、

mp4XAVC Sにあたるものが見当たらず・・・

読み込めるのに出力できないのは不自然に感じるのですが、何かミスがあるのでしょうか・・？

また、4Kにてテレビで見る方法はありますか？