为了快速完成所有题目,Venn和BLUESKY007甚至学会了分身术,可以同时进行多道题目。
两人决定在写完作业后去吃水果。当BLUESKY007完成今天所有的计划题目后,才会前往吃水果 ,但Venn只要自己的任意一个分身完成了分配的题目,就会立刻前往吃水果。也就是说,如果决定今天完成的题目编号区间为[L,R],那么Venn前往吃水果的时间为min{ai}(i=L...R),而BLUESKY007要在经过max{bi}(i=L...R)时间后,才会去吃水果。
而Venn只需要花费K时间就能吃完所有的水果,Venn想通过决定题目区间的方法,来吃完所有水果,而不让BLUESKY007吃到水果。同时她还想要自己写的题目总数尽可能少。你能帮她算出最少要写几道题吗?
如果不存在这样一个规划方式,使得Venn独享所有水果,请输出So Sad!。