dates = {}
while(True):
    s = input().split()
    if(len(s) < 2):
        break
    date = s[0]
    time = s[1]
    price = int(s[2])
    if(date not in dates):
        dates[date] = []
    dates[date].append(price)
answer = 1
for date in dates:
    minmax = 1
    for i in range(len(dates[date])):
        for j in range(i + 1, len(dates[date])):
            minmax = max(minmax, dates[date][j] / dates[date][i])
    answer *= minmax
answer -= 1
answer *= 100
print(answer)