1183: 砍树

伐木工人 Mirko 需要砍  米长的木材。对 Mirko 来说这是很简单的工作，因为他有一个漂亮的新伐木机，可以如野火一般砍伐森林。不过，Mirko 只被允许砍伐一排树。

Mirko 的伐木机工作流程如下：Mirko 设置一个高度参数 （米），伐木机升起一个巨大的锯片到高度 ，并锯掉所有树比  高的部分（当然，树木不高于  米的部分保持不变）。Mirko 就得到树木被锯下的部分。例如，如果一排树的高度分别为  和 ，Mirko 把锯片升到  米的高度，切割后树木剩下的高度将是  和 ，而 Mirko 将从第  棵树得到  米，从第  棵树得到  米，共得到  米木材。

Mirko 非常关注生态保护，所以他不会砍掉过多的木材。这也是他尽可能高地设定伐木机锯片的原因。请帮助 Mirko 找到伐木机锯片的最大的整数高度 ，使得他能得到的木材至少为  米。换句话说，如果再升高  米，他将得不到  米木材。