100 atcoder#ABC123B. [ABC123B] Five Dishes
[ABC123B] Five Dishes
Score: points
Problem Statement
The restaurant AtCoder serves the following five dishes:
- ABC Don (rice bowl): takes minutes to serve.
- ARC Curry: takes minutes to serve.
- AGC Pasta: takes minutes to serve.
- APC Ramen: takes minutes to serve.
- ATC Hanbagu (hamburger patty): takes minutes to serve.
Here, the time to serve a dish is the time between when an order is placed and when the dish is delivered.
This restaurant has the following rules on orders:
- An order can only be placed at a time that is a multiple of (time , , , ).
- Only one dish can be ordered at a time.
- No new order can be placed when an order is already placed and the dish is still not delivered, but a new order can be placed at the exact time when the dish is delivered.
E869120 arrives at this restaurant at time . He will order all five dishes. Find the earliest possible time for the last dish to be delivered. Here, he can order the dishes in any order he likes, and he can place an order already at time .
Constraints
- and are integers between and (inclusive).
Input
Input is given from Standard Input in the following format:
Output
Print the earliest possible time for the last dish to be delivered, as an integer.
29
20
7
35
120
215
If we decide to order the dishes in the order ABC Don, ARC Curry, AGC Pasta, ATC Hanbagu, APC Ramen, the earliest possible time for each order is as follows:
- Order ABC Don at time , which will be delivered at time .
- Order ARC Curry at time , which will be delivered at time .
- Order AGC Pasta at time , which will be delivered at time .
- Order ATC Hanbagu at time , which will be delivered at time .
- Order APC Ramen at time , which will be delivered at time .
There is no way to order the dishes in which the last dish will be delivered earlier than this.
101
86
119
108
57
481
If we decide to order the dishes in the order AGC Pasta, ARC Curry, ATC Hanbagu, APC Ramen, ABC Don, the earliest possible time for each order is as follows:
- Order AGC Pasta at time , which will be delivered at time .
- Order ARC Curry at time , which will be delivered at time .
- Order ATC Hanbagu at time , which will be delivered at time .
- Order APC Ramen at time , which will be delivered at time .
- Order ABC Don at time , which will be delivered at time .
There is no way to order the dishes in which the last dish will be delivered earlier than this.
123
123
123
123
123
643
This is the largest valid case.