>>772
>>769 より小さな解を確認した。

現在のところ見つけた最小解は
11_input.txt Volume:73949529
12_input.txt Volume:67522871
13_input.txt Volume:67164434
となっている。

>>771 のソートに使う関数を直方体の形状も評価するように変更しただけの
イカサマっぽい方法で見つけたので、おそらく最適解ではない

評価関数 (但し x <= y <= z にソート済みとする)
x*y*z
↓
x*y*z/(x*9+y*3+z)