atcoder#ABC123C. [ABC123C] Five Transportations
[ABC123C] Five Transportations
Score: points
Problem Statement
In 2028 and after a continuous growth, AtCoder Inc. finally built an empire with six cities (City )!
There are five means of transport in this empire:
- Train: travels from City to in one minute. A train can occupy at most people.
- Bus: travels from City to in one minute. A bus can occupy at most people.
- Taxi: travels from City to in one minute. A taxi can occupy at most people.
- Airplane: travels from City to in one minute. An airplane can occupy at most people.
- Ship: travels from City to in one minute. A ship can occupy at most people.
For each of them, one vehicle leaves the city at each integer time (time , , , ).
There is a group of people at City , and they all want to go to City . At least how long does it take for all of them to reach there? You can ignore the time needed to transfer.
Constraints
- All values in input are integers.
Input
Input is given from Standard Input in the following format:
Output
Print the minimum time required for all of the people to reach City , in minutes.
5
3
2
4
3
5
7
One possible way to travel is as follows. First, there are people at City , as shown in the following image:
In the first minute, three people travels from City to City by train. Note that a train can only occupy at most three people.
In the second minute, the remaining two people travels from City to City by train, and two of the three people who were already at City travels to City by bus. Note that a bus can only occupy at most two people.
In the third minute, two people travels from City to City by train, and another two people travels from City to City by taxi.
From then on, if they continue traveling without stopping until they reach City , all of them can reach there in seven minutes. There is no way for them to reach City in minutes or less.
10
123
123
123
123
123
5
All kinds of vehicles can occupy people at a time. Thus, if they continue traveling without stopping until they reach City , all of them can reach there in five minutes.
10000000007
2
3
5
7
11
5000000008
Note that the input or output may not fit into a -bit integer type.