AT_arc037_a [ARC037A] 全優
Description
[problemUrl]: https://atcoder.jp/contests/arc037/tasks/arc037_a
高橋君には「未来視」という能力がある。彼は大学で $ N $ 個の科目を履修しており、全ての科目の試験で $ 80 $ 点以上を取ることが目標である。たった今見た「未来視」によると、各科目 $ i $ について、勉強せずにその科目の試験を受けると $ m_i $ 点を取ることが予測される。高橋君は $ 1 $ つの科目を $ 1 $ 分間勉強するごとに、その科目の試験で取ることが予測される点数を $ 1 $ 点上げることができる。「未来視」が正しいとして、高橋君が目標を達成するために必要な最短の合計勉強時間を求めよ。
Input Format
入力は以下の形式で標準入力から与えられる。
> $ N $ $ m_1 $ $ m_2 $ .. $ m_N $
- $ 1 $ 行目には、高橋君が履修している科目の数 $ N $ ($ 1 $ $ ≦ $ $ N $ $ ≦ $ $ 25 $) が与えられる。
- $ 2 $ 行目には、各科目 $ i $ ($ 1 $ $ ≦ $ $ i $ $ ≦ $ $ N $) について、勉強せずにその科目の試験を受けたときに取ることが予測される得点 $ m_i $ ($ 0 $ $ ≦ $ $ m_i $ $ ≦ $ $ 100 $) がスペース区切りで与えられる。
Output Format
標準出力に、高橋君が目標を達成するために必要な最短の合計勉強時間 (分単位) を出力し、末尾で改行せよ。
Explanation/Hint
### Sample Explanation 1
科目 $ 1 $ の勉強を $ 10 $ 分間、科目 $ 3 $ の勉強を $ 20 $ 分間、科目 $ 5 $ の勉強を $ 30 $ 分間すればよい。
### Sample Explanation 2
何もしなくてよい。