伐木工人Mirko 需要砍M米长的木材。对 Mirko 来说这是很简单的工作，因为他有一个漂亮的新伐木机，可以如野火一般砍伐森林。不过，Mirko 只被允许砍伐一排树。
Mirko 的伐木机工作流程如下：Mirko 设置一个高度参数H(米），伐木机升起一个巨大的锯片到高度H，并锯掉所有树比H高的部分（当然，树木不高于H米的部分保持不变）。Mirko 就得到树木被锯下的部分。例如，如果一排树的高度分别为20,15,10和17。Mirko 把锯片升到15米的高度，切割后树木剩下的高度将是15,15,10和15，而 Mirko 将从第1棵树得到 5 米，从第 4 棵树得到 2 米，共得到 7 米木材。
Mirko 非常关注生态保护，所以他不会砍掉过多的木材。这也是他尽可能高地设定伐木机锯片的原因。请帮助 Mirko 找到伐木机锯片的最大的整数高度 H，使得他能得到的木材至少为M米。换句话说，如果再升高1米，他将得不到 M 米木材。
Mirko 的伐木机工作流程如下：Mirko 设置一个高度参数H(米），伐木机升起一个巨大的锯片到高度H，并锯掉所有树比H高的部分（当然，树木不高于H米的部分保持不变）。Mirko 就得到树木被锯下的部分。例如，如果一排树的高度分别为20,15,10和17。Mirko 把锯片升到15米的高度，切割后树木剩下的高度将是15,15,10和15，而 Mirko 将从第1棵树得到 5 米，从第 4 棵树得到 2 米，共得到 7 米木材。
Mirko 非常关注生态保护，所以他不会砍掉过多的木材。这也是他尽可能高地设定伐木机锯片的原因。请帮助 Mirko 找到伐木机锯片的最大的整数高度 H，使得他能得到的木材至少为M米。换句话说，如果再升高1米，他将得不到 M 米木材。
