1200ptだけあってさすがにしんどい。 https://atcoder.jp/contests/arc145/tasks/arc145_f

逆を考えるのはよくありそう。 https://atcoder.jp/contests/arc145/tasks/arc145_e