感谢 Sol1 提供的 hack 数据。

5 1
1 5
2 1
3 1
4 1

答案为 $23$。

卡掉了相当一部分的提交，不过似乎有一些选手面向数据编程。