#include <bits/stdc++.h>
// #include <atcoder/all>
// using namespace atcoder;
#define rep(i, n) for (int i = 0; i < (n); i++)
using ll = long long;
using namespace std;
const int mod = 1000000007;
const int INF =1e9+1;
int main(){
  int n;cin>>n;
  vector<int> m(n);
  rep(i,n)cin>>m[i];
  int n2=1<<n;
  vector<pair<int,int>> dp(n2,make_pair(INF,0));
  dp[0].first=0;
  rep(i,n2){
    rep(j,n){
      if(i>>j&1)continue;
      int a,b,p,q;
      tie(a,b)=dp[i];
      tie(p,q)=dp[i|1<<j];
      if(p>a+max(0,m[j]-b%1000)){
        dp[i|1<<j]=make_pair(a+max(0,m[j]-b%1000),m[j]+b);
      }
    }
  }
  cout<<dp[n2-1].first<<endl;
}