using static IO;
public class IO {
public static IO Cin = new();
public static StreamReader reader = new(Console.OpenStandardInput());
public static StreamWriter writer = new(Console.OpenStandardOutput());
public static implicit operator string(IO _) => reader.ReadLine();
public static implicit operator char[](IO _) => reader.ReadLine().ToArray();
public static implicit operator int(IO _) => int.Parse(reader.ReadLine());
public static implicit operator double(IO _) => double.Parse(reader.ReadLine());
public static implicit operator string[](IO _) => reader.ReadLine().Split();
public static implicit operator int[](IO _) => Array.ConvertAll(reader.ReadLine().Split(), int.Parse);
public void Deconstruct(out int a, out int b) { int[] r = Cin; (a, b) = (r[0], r[1]); }
public void Deconstruct(out int a, out int b, out int c) { int[] r = Cin; (a, b, c) = (r[0], r[1], r[2]); }
public static void Loop(int end, Action<int> action, int start = 0, in int add = 1) { for (; start < end; start += add) action(start); }
public static object? Cout { set { writer.Write(value); } }
public static object? Coutln { set { writer.WriteLine(value); } }
public static void Main() { Program.Coding(); writer.Flush(); }
}
class Program {
public static void Coding() {
checked {
(int l,int w,int h) = Cin;
int[] boxes = new int[21];
Loop(Cin, _ => {
(int pow, int count
) = Cin
; });
int total = boxes.Sum();
long repay = 0, result = 0;
for(int pow=19;pow
>=0;pow
--) { long debt = (long)(l / shift) * (w / shift) * (h / shift);
long used
= Math.
Min(debt
- repay
, boxes
[pow]); result += used;
repay = (repay + used) * 8;
}
if (l * w * h > repay / 8) {
Cout = -1;
return;
}
Cout = result;
}
}
}
dXNpbmcgc3RhdGljIElPOwpwdWJsaWMgY2xhc3MgSU8gewpwdWJsaWMgc3RhdGljIElPIENpbiA9IG5ldygpOwpwdWJsaWMgc3RhdGljIFN0cmVhbVJlYWRlciByZWFkZXIgPSBuZXcoQ29uc29sZS5PcGVuU3RhbmRhcmRJbnB1dCgpKTsKcHVibGljIHN0YXRpYyBTdHJlYW1Xcml0ZXIgd3JpdGVyID0gbmV3KENvbnNvbGUuT3BlblN0YW5kYXJkT3V0cHV0KCkpOwpwdWJsaWMgc3RhdGljIGltcGxpY2l0IG9wZXJhdG9yIHN0cmluZyhJTyBfKSA9PiByZWFkZXIuUmVhZExpbmUoKTsKcHVibGljIHN0YXRpYyBpbXBsaWNpdCBvcGVyYXRvciBjaGFyW10oSU8gXykgPT4gcmVhZGVyLlJlYWRMaW5lKCkuVG9BcnJheSgpOwpwdWJsaWMgc3RhdGljIGltcGxpY2l0IG9wZXJhdG9yIGludChJTyBfKSA9PiBpbnQuUGFyc2UocmVhZGVyLlJlYWRMaW5lKCkpOwpwdWJsaWMgc3RhdGljIGltcGxpY2l0IG9wZXJhdG9yIGRvdWJsZShJTyBfKSA9PiBkb3VibGUuUGFyc2UocmVhZGVyLlJlYWRMaW5lKCkpOwpwdWJsaWMgc3RhdGljIGltcGxpY2l0IG9wZXJhdG9yIHN0cmluZ1tdKElPIF8pID0+IHJlYWRlci5SZWFkTGluZSgpLlNwbGl0KCk7CnB1YmxpYyBzdGF0aWMgaW1wbGljaXQgb3BlcmF0b3IgaW50W10oSU8gXykgPT4gQXJyYXkuQ29udmVydEFsbChyZWFkZXIuUmVhZExpbmUoKS5TcGxpdCgpLCBpbnQuUGFyc2UpOwpwdWJsaWMgdm9pZCBEZWNvbnN0cnVjdChvdXQgaW50IGEsIG91dCBpbnQgYikgeyBpbnRbXSByID0gQ2luOyAoYSwgYikgPSAoclswXSwgclsxXSk7IH0KcHVibGljIHZvaWQgRGVjb25zdHJ1Y3Qob3V0IGludCBhLCBvdXQgaW50IGIsIG91dCBpbnQgYykgeyBpbnRbXSByID0gQ2luOyAoYSwgYiwgYykgPSAoclswXSwgclsxXSwgclsyXSk7IH0KcHVibGljIHN0YXRpYyB2b2lkIExvb3AoaW50IGVuZCwgQWN0aW9uPGludD4gYWN0aW9uLCBpbnQgc3RhcnQgPSAwLCBpbiBpbnQgYWRkID0gMSkgeyBmb3IgKDsgc3RhcnQgPCBlbmQ7IHN0YXJ0ICs9IGFkZCkgYWN0aW9uKHN0YXJ0KTsgfQpwdWJsaWMgc3RhdGljIG9iamVjdD8gQ291dCB7IHNldCB7IHdyaXRlci5Xcml0ZSh2YWx1ZSk7IH0gfQpwdWJsaWMgc3RhdGljIG9iamVjdD8gQ291dGxuIHsgc2V0IHsgd3JpdGVyLldyaXRlTGluZSh2YWx1ZSk7IH0gfQpwdWJsaWMgc3RhdGljIHZvaWQgTWFpbigpIHsgUHJvZ3JhbS5Db2RpbmcoKTsgd3JpdGVyLkZsdXNoKCk7IH0KfQpjbGFzcyBQcm9ncmFtIHsKICAgIHB1YmxpYyBzdGF0aWMgdm9pZCBDb2RpbmcoKSB7CiAgICAgICAgY2hlY2tlZCB7CiAgICAgICAgICAgIChpbnQgbCxpbnQgdyxpbnQgaCkgPSBDaW47CiAgICAgICAgICAgIGludFtdIGJveGVzID0gbmV3IGludFsyMV07CiAgICAgICAgICAgIExvb3AoQ2luLCBfID0+IHsKICAgICAgICAgICAgICAgIChpbnQgcG93LCBpbnQgY291bnQpID0gQ2luOwogICAgICAgICAgICAgICAgYm94ZXNbcG93XSA9IGNvdW50OwogICAgICAgICAgICB9KTsKICAgICAgICAgICAgaW50IHRvdGFsID0gYm94ZXMuU3VtKCk7CgogICAgICAgICAgICBsb25nIHJlcGF5ID0gMCwgcmVzdWx0ID0gMDsKICAgICAgICAgICBmb3IoaW50IHBvdz0xOTtwb3c+PTA7cG93LS0pIHsKICAgICAgICAgICAgICAgIGludCBzaGlmdCA9IDEgPDwgcG93OwogICAgICAgICAgICAgICAgbG9uZyBkZWJ0ID0gKGxvbmcpKGwgLyBzaGlmdCkgKiAodyAvIHNoaWZ0KSAqIChoIC8gc2hpZnQpOwogICAgICAgICAgICAgICAgbG9uZyB1c2VkID0gTWF0aC5NaW4oZGVidCAtIHJlcGF5LCBib3hlc1twb3ddKTsKICAgICAgICAgICAgICAgIHJlc3VsdCArPSB1c2VkOwoKICAgICAgICAgICAgICAgIHJlcGF5ID0gKHJlcGF5ICsgdXNlZCkgKiA4OwogICAgICAgICAgICB9CgogICAgICAgICAgICBpZiAobCAqIHcgKiBoID4gcmVwYXkgLyA4KSB7CiAgICAgICAgICAgICAgICBDb3V0ID0gLTE7CiAgICAgICAgICAgICAgICByZXR1cm47CiAgICAgICAgICAgIH0KCiAgICAgICAgICAgIENvdXQgPSByZXN1bHQ7CiAgICAgICAgfQogICAgfQp9