他スレで出された問題ですが、出題者が解答晒さずに消えてしまった（昨年出題）ので、神様解いて下さい
ちなみに今の所12時間30分が最短の答です

2つの惑星XとYがあり、今、惑星XにA,B,C,Dの4つの宇宙船があります。
宇宙船AはXからYまで1時間でたどり着くことができます。Bのそれは2時間、Cは4時間、
Dは8時間かかります。宇宙飛行士が操縦しないといけないのですが、2人しか居ません。
どの宇宙船も2人乗ることができます。
この4機の宇宙船すべてを惑星Yに運びたいのです。最短時間を求めてください。
牽引は出来ません。また、XとYの間の任意の宇宙空間で同じ位置にある2つの宇宙船間を
時間0で乗り換えることが可能です。（これがミソ）