import java.util.*;
import java.util.stream.*;
public class Main {
public static void main
(String[] args
) { Scanner sc
= new Scanner
(System.
in); // 读取输入
String[] nm
= sc.
nextLine().
split(","); int[] hams
= Arrays.
stream(sc.
nextLine().
split(",")).
mapToInt(Integer::parseInt
).
toArray(); int[] costs
= Arrays.
stream(sc.
nextLine().
split(",")).
mapToInt(Integer::parseInt
).
toArray(); int k
= Integer.
parseInt(sc.
nextLine());
// 计算每秒法力恢复值
int recover
= Math.
max(1, m
/ 10);
// BFS队列:存储状态 [时间t, 当前法力currentM, Boss剩余血量currentK]
Queue<int[]> queue = new LinkedList<>();
queue.offer(new int[]{0, m, k});
// 记录已访问的状态(避免重复计算)
Set<String> visited = new HashSet<>();
visited.add(m + "," + k);
while (!queue.isEmpty()) {
int[] curr = queue.poll();
int t = curr[0];
int currentM = curr[1];
int currentK = curr[2];
// 尝试释放每个技能
for (int i = 0; i < n; i++) {
int cost = costs[i];
int harm = hams[i];
if (currentM >= cost) {
int newK = currentK - harm;
// Boss血量≤0,击杀成功
if (newK <= 0) {
return;
}
// 修正:释放技能后先消耗法力,经过1秒后再恢复法力
// 先计算释放技能后的法力(不立即恢复)
int newMAfterCast = currentM - cost;
// 再计算1秒后的恢复(符合时间流逝逻辑)
int newM = newMAfterCast + recover;
newM
= Math.
min(newM, m
); // 不超过最大法力 String key
= newM
+ "," + newK
; if (!visited.contains(key)) {
visited.add(key);
queue.offer(new int[]{t + 1, newM, newK});
}
}
}
// 尝试等待(耗时1秒,恢复法力)
int newMWait = currentM + recover;
newMWait
= Math.
min(newMWait, m
); String keyWait
= newMWait
+ "," + currentK
; if (!visited.contains(keyWait)) {
visited.add(keyWait);
queue.offer(new int[]{t + 1, newMWait, currentK});
}
}
// 无法击杀Boss
}
}
aW1wb3J0IGphdmEudXRpbC4qOwppbXBvcnQgamF2YS51dGlsLnN0cmVhbS4qOwoKcHVibGljIGNsYXNzIE1haW4gewogICAgcHVibGljIHN0YXRpYyB2b2lkIG1haW4oU3RyaW5nW10gYXJncykgewogICAgICAgIFNjYW5uZXIgc2MgPSBuZXcgU2Nhbm5lcihTeXN0ZW0uaW4pOwogICAgICAgIC8vIOivu+WPlui+k+WFpQogICAgICAgIFN0cmluZ1tdIG5tID0gc2MubmV4dExpbmUoKS5zcGxpdCgiLCIpOwogICAgICAgIGludCBuID0gSW50ZWdlci5wYXJzZUludChubVswXSk7CiAgICAgICAgaW50IG0gPSBJbnRlZ2VyLnBhcnNlSW50KG5tWzFdKTsKICAgICAgICBpbnRbXSBoYW1zID0gQXJyYXlzLnN0cmVhbShzYy5uZXh0TGluZSgpLnNwbGl0KCIsIikpLm1hcFRvSW50KEludGVnZXI6OnBhcnNlSW50KS50b0FycmF5KCk7CiAgICAgICAgaW50W10gY29zdHMgPSBBcnJheXMuc3RyZWFtKHNjLm5leHRMaW5lKCkuc3BsaXQoIiwiKSkubWFwVG9JbnQoSW50ZWdlcjo6cGFyc2VJbnQpLnRvQXJyYXkoKTsKICAgICAgICBpbnQgayA9IEludGVnZXIucGFyc2VJbnQoc2MubmV4dExpbmUoKSk7CiAgICAgICAgCiAgICAgICAgLy8g6K6h566X5q+P56eS5rOV5Yqb5oGi5aSN5YC8CiAgICAgICAgaW50IHJlY292ZXIgPSBNYXRoLm1heCgxLCBtIC8gMTApOwogICAgICAgIAogICAgICAgIC8vIEJGU+mYn+WIl++8muWtmOWCqOeKtuaAgSBb5pe26Ze0dCwg5b2T5YmN5rOV5YqbY3VycmVudE0sIEJvc3PliankvZnooYDph49jdXJyZW50S10KICAgICAgICBRdWV1ZTxpbnRbXT4gcXVldWUgPSBuZXcgTGlua2VkTGlzdDw+KCk7CiAgICAgICAgcXVldWUub2ZmZXIobmV3IGludFtdezAsIG0sIGt9KTsKICAgICAgICAvLyDorrDlvZXlt7Lorr/pl67nmoTnirbmgIHvvIjpgb/lhY3ph43lpI3orqHnrpfvvIkKICAgICAgICBTZXQ8U3RyaW5nPiB2aXNpdGVkID0gbmV3IEhhc2hTZXQ8PigpOwogICAgICAgIHZpc2l0ZWQuYWRkKG0gKyAiLCIgKyBrKTsKICAgICAgICAKICAgICAgICB3aGlsZSAoIXF1ZXVlLmlzRW1wdHkoKSkgewogICAgICAgICAgICBpbnRbXSBjdXJyID0gcXVldWUucG9sbCgpOwogICAgICAgICAgICBpbnQgdCA9IGN1cnJbMF07CiAgICAgICAgICAgIGludCBjdXJyZW50TSA9IGN1cnJbMV07CiAgICAgICAgICAgIGludCBjdXJyZW50SyA9IGN1cnJbMl07CiAgICAgICAgICAgIAogICAgICAgICAgICAvLyDlsJ3or5Xph4rmlL7mr4/kuKrmioDog70KICAgICAgICAgICAgZm9yIChpbnQgaSA9IDA7IGkgPCBuOyBpKyspIHsKICAgICAgICAgICAgICAgIGludCBjb3N0ID0gY29zdHNbaV07CiAgICAgICAgICAgICAgICBpbnQgaGFybSA9IGhhbXNbaV07CiAgICAgICAgICAgICAgICBpZiAoY3VycmVudE0gPj0gY29zdCkgewogICAgICAgICAgICAgICAgICAgIGludCBuZXdLID0gY3VycmVudEsgLSBoYXJtOwogICAgICAgICAgICAgICAgICAgIC8vIEJvc3PooYDph4/iiaQw77yM5Ye75p2A5oiQ5YqfCiAgICAgICAgICAgICAgICAgICAgaWYgKG5ld0sgPD0gMCkgewogICAgICAgICAgICAgICAgICAgICAgICBTeXN0ZW0ub3V0LnByaW50bG4odCArIDEpOwogICAgICAgICAgICAgICAgICAgICAgICByZXR1cm47CiAgICAgICAgICAgICAgICAgICAgfQogICAgICAgICAgICAgICAgICAgIC8vIOS/ruato++8mumHiuaUvuaKgOiDveWQjuWFiOa2iOiAl+azleWKm++8jOe7j+i/hzHnp5LlkI7lho3mgaLlpI3ms5XlipsKICAgICAgICAgICAgICAgICAgICAvLyDlhYjorqHnrpfph4rmlL7mioDog73lkI7nmoTms5XlipvvvIjkuI3nq4vljbPmgaLlpI3vvIkKICAgICAgICAgICAgICAgICAgICBpbnQgbmV3TUFmdGVyQ2FzdCA9IGN1cnJlbnRNIC0gY29zdDsKICAgICAgICAgICAgICAgICAgICAvLyDlho3orqHnrpcx56eS5ZCO55qE5oGi5aSN77yI56ym5ZCI5pe26Ze05rWB6YCd6YC76L6R77yJCiAgICAgICAgICAgICAgICAgICAgaW50IG5ld00gPSBuZXdNQWZ0ZXJDYXN0ICsgcmVjb3ZlcjsKICAgICAgICAgICAgICAgICAgICBuZXdNID0gTWF0aC5taW4obmV3TSwgbSk7IC8vIOS4jei2hei/h+acgOWkp+azleWKmwogICAgICAgICAgICAgICAgICAgIFN0cmluZyBrZXkgPSBuZXdNICsgIiwiICsgbmV3SzsKICAgICAgICAgICAgICAgICAgICBpZiAoIXZpc2l0ZWQuY29udGFpbnMoa2V5KSkgewogICAgICAgICAgICAgICAgICAgICAgICB2aXNpdGVkLmFkZChrZXkpOwogICAgICAgICAgICAgICAgICAgICAgICBxdWV1ZS5vZmZlcihuZXcgaW50W117dCArIDEsIG5ld00sIG5ld0t9KTsKICAgICAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgICAgICB9CiAgICAgICAgICAgIH0KICAgICAgICAgICAgCiAgICAgICAgICAgIC8vIOWwneivleetieW+he+8iOiAl+aXtjHnp5LvvIzmgaLlpI3ms5XlipvvvIkKICAgICAgICAgICAgaW50IG5ld01XYWl0ID0gY3VycmVudE0gKyByZWNvdmVyOwogICAgICAgICAgICBuZXdNV2FpdCA9IE1hdGgubWluKG5ld01XYWl0LCBtKTsKICAgICAgICAgICAgU3RyaW5nIGtleVdhaXQgPSBuZXdNV2FpdCArICIsIiArIGN1cnJlbnRLOwogICAgICAgICAgICBpZiAoIXZpc2l0ZWQuY29udGFpbnMoa2V5V2FpdCkpIHsKICAgICAgICAgICAgICAgIHZpc2l0ZWQuYWRkKGtleVdhaXQpOwogICAgICAgICAgICAgICAgcXVldWUub2ZmZXIobmV3IGludFtde3QgKyAxLCBuZXdNV2FpdCwgY3VycmVudEt9KTsKICAgICAgICAgICAgfQogICAgICAgIH0KICAgICAgICAKICAgICAgICAvLyDml6Dms5Xlh7vmnYBCb3NzCiAgICAgICAgU3lzdGVtLm91dC5wcmludGxuKC0xKTsKICAgIH0KfQogICAg