#include <bits/stdc++.h>
#include <cstdint>
#include <sys/time.h>

typedef std::int_fast32_t  s32;
typedef std::uint_fast32_t u32;
typedef std::int_fast64_t  s64;
typedef std::uint_fast64_t u64;

const unsigned long mod = 1000000007;
const double EPS = 0.00000001;
const int INF = (1 << 29);

typedef std::pair<int, int> pii;

template<typename T>
void print_array(T *A_, s32 size) {
  //printf("%d\n", size);
  if( size != 0 ) {
    for(int i = 0; i < size - 1; ++i) {
      printf("%d ", A_[i]);
    }
    printf("%d\n", A_[size - 1]);
  }
}

auto main() -> int {

  int n;
  std::vector<int> m;
  std::cin >> n;
  for(int i = 0; i < n; ++i) {
    int temp;
    std::cin >> temp;
    m.push_back(temp);
  }

  int dp[65536];
  int total[65536];
  for(int i = 0; i < 65536; ++i) {
    int temp = 0;
    for(int j = 0; j < 16; ++j) {
      if( (i & (1 << j)) != 0 ) {
        temp += m[j];
      }
    }
    total[i] = temp;
  }

  for(int i = 0; i < 65536; ++i) {
    dp[i] = INF;
  }
  dp[0] = 0;

  for(int i = 0; i < (1 << n); ++i) {
    for(int j = 0; j < n; ++j) {
      if( (i & (1 << j)) == 0 ) {
        dp[i + (1 << j)] = std::min(dp[i + (1 << j)], dp[i] + std::max(0, m[j] - total[i] % 1000));
      }
    }
  }

  std::cout << dp[(1 << n) - 1] << std::endl;

  return 0;
}