Given a sentence in the Japanese, provide an equivalent translation in Bahasa Indonesia that retains the same meaning through the translation. In translation, keep numbers as it is.

Example input: フランスのパリ、パルク・デ・プランスで行われた2007年ラグビーワールドカップのプールCで、イタリアは31対5でポルトガルを下した。
Example output: Italia berhasil mengalahkan Portugal 31-5 di grup C dalam Piala Dunia Rugby 2007 di Parc des Princes, Paris, Perancis.
Example explanation: This is a correct and accurate translation from Japanese to Bahasa Indonesia because translated text is just paraphrased of Japanese sentence. Also, it preserves the numbers as it is.
Q: 大西洋横断惑星調査（TrES）にちなんでTrES-4と名付けられたその惑星は、木星の1.7倍の大きさがある。
A:
Planet tersebut, yang dinamai TrES-4 sesuai dengan Survey Eksoplanet Transatlantik (TrES), adalah 1,7 kali ukuran planet Yupiter.