>>771
多分次のケースで撃墜。この入力に対する出力は 797 のはずだけれど
あなたのプログラムは私の手元で 819 と出力した。
5
9 6 1
8 1 4
5 9 9
10 9 4
3 4 7

ちなみに 11_input.txt, 12_input.txt, 13_input.txt についても
それより小さな解が見つかっている。私の現在の方法でも最適保証は無いけれど。