知名的航空公司CK Airlines向來以個人化服務以及美味的餐點聞名。在機上的一切事務都是客製化的，其中機上送餐的時間也是客製化的。每位乘客可以自由選擇拿到餐點的時間。

CK Airlines的機上餐點中，有一道特別出名的餐點：牛排。CK Airlines的牛排除了牛排之外還有配菜，所以製作牛排時需要準備配菜以及煎煮牛排。CK Airlines的配菜以及牛排都是頂級的，兩者的味道相輔相成，形成了多層次高級的口味以及觸感，實為一夢幻料理。而經過許久的磨練後，不論是準備配菜或煎煮牛排，機上的廚師都可以在一分鐘內處理好。儘管廚師大可在飛機飛穩後開始將所有需要的牛排煮好，但是CK Airlines不希望乘客拿到的牛排是冷掉的，所以CK Airlines要求每塊牛排煎煮完畢後都要隨著準備好的配菜馬上送到客人面前。然而CK Airlines不希望上菜時間離乘客期望的時間差距超過$x$分鐘，也不希望牛排在客人期望的時間後才上。換句話說，假設在第$a$分鐘時將牛排及配菜送給客人，而客人要求拿到餐點的時間是第$b$分鐘，那麼$a$和$b$必須滿足$a\le b\le a+x$。此外，儘管牛排一煎好就要送給客人，但是配菜則不受此限制。

高品質的CK Airlines的要求可不只這樣。由於CK Airlines標榜著他們是個重視環保的航空，因此他們希望減少開火的總時間。而不論是解凍或是煎煮，都需要開火才能執行。為了有效減少開火的總時間，機上共有$k$個處理食物的地方，只要在開火的時間，$k$個地方都可以同時進行準備一份配菜或煎煮一塊牛排其一程序（$k$個地方所進行的程序不需要相同）。

相信讀到這裡，你已經知道CK Airlines的要求有多高了。高品質、重視客製化程序、環保、以及高要求的CK Airlines理所當然地希望在前述的所有條件下再最小化開火的總時間。然而飛機上乘客眾多，因此CK Airlines希望能編寫出一支能幫忙維持高品質的程式，幫助他們找出最佳的處理牛排的程序。注意：所有程序都只能從飛機飛穩後開始，並且不限制開火時間需 連續。