ABC224HなんかはLPの定式化は自明でソルバに突っ込んで解いた人もいるらしい