今のところ求められているのは
9と12番のうまい解法と11番の答え
か。時間の関係で捨てたけど解いてみるか。