>>799
少し待ったら少しマシな解が出た：
11_input.txt: 72692471
12_input.txt: 66659339
13_input.txt: 66586660

ちなみにアルゴリズムは大雑把に言うと >>771 の
５．の「小さい箱から」を「極小な箱から」に読み替え，
複数ある極小要素から乱数で選ぶモンテカルロ法。


そろそろ厳密解法を考えるのに疲れてきた。
出題者の解答を待ちたいところだ。