Geek Power (GP) Inc. has recently invented a new kind of power source. They are just like normal power sources, but with one added limitation. You may ask at this point, who would use something new that has more limitations than the existing ones? Well, then you do not know geeks very well.
Each of these power sources has a power output rating with it and it can even be used with other power sources of different rating made by the GP only. But here is the limitation – if power sources of various ratings are mixed together, all of them start working at the lowest rating among them. For example, if you add three power sources with rating 3, 5, and 7, then each of them work as a power source of rating 3. Thus, the total power output from this group will be 3 x 3 = 9. However, if you only take 5 and 7 in the group, then each of them work as a power source of rating 5, and thus the total power output is 2 x 5 = 10, which is better than the previous group.
In this problem, you will be given a set of power sources made by GP. You have to form a group that produces the highest power output. You can take any number of power sources with any rating from the given list of power sources