Hưng muốn tăng cường sức khỏe nên anh ấy tham gia tập chạy. Mỗi ngày anh ta chạy đúng phút (vừa chạy vừa nghỉ), tại phút bất kỳ, anh ta có thể lựa chọn là chạy hay nghỉ ngơi trong phút đó.
Khi bắt đầu chạy, độ mệt mỏi của anh ta là . Tại phút thứ bất kỳ, nếu anh ta chọn phương án là chạy thì anh ấy chạy được mét và độ mệt mỏi sẽ tăng lên , tuy nhiên độ mệt mỏi không được tăng quá , nếu anh ta chọn nghỉ ngơi thì độ mệt mỏi giảm đi (Nếu độ mệt mỏi bằng không thì anh ta có nghỉ cũng không giảm nữa), và anh ta không thể bắt đầu chạy lại cho đến khi độ mệt mỏi trở về .
Sau khi kết thúc phút chạy, độ mệt mỏi của anh ấy cũng phải trở về (nếu không anh ta sẽ không thể làm việc cả ngày hôm đó).
Hãy tìm độ dài quãng đường lớn nhất mà Hưng có thể chạy trong một ngày?
Dữ liệu vào:
Dòng đầu tiên chứa hai số nguyên dương và được nghi cách nhau một dấu cách;
Dòng tiếp theo ghi số nguyên , hai số liên tiếp được ghi cách nhau một dấu cách.
Dữ liệu ra:
Một số nguyên duy nhất là độ dài quãng đường lớn nhất mà Hưng có thể chạy trong một ngày.
