#include <cstdio>
#include <iostream>
#include <vector>
#include <map>
#include <algorithm>

using namespace std;

typedef long long ll;

#define SIZE 500
#define INF 1000000000

int a[SIZE];
int r[SIZE], b[SIZE];

int sumA, sumR, sumB;

int dp[121][61][50*60+1];

int main() {
  int N, K;

  scanf("%d%d", &N, &K);

  for(int i=0; i<N; i++) {
    scanf("%d", a+i);
    sumA += a[i];
  }

  for(int i=0; i<K; i++) {
    scanf("%d", r+i);
    sumR += r[i];
  }

  for(int i=0; i<K; i++) {
    scanf("%d", b+i);
    sumB += b[i];
  }

  for(int i=0; i<=N; i++) {
    for(int j=0; j<=K; j++) {
      for(int k=0; k<=sumR; k++) {
        dp[i][j][k] = INF;
      }
    }
  }

  sort(a, a+N, greater<int>());
  sort(b, b+K, greater<int>());
  sort(r, r+K, greater<int>());

  dp[0][0][0] = 0;

  for(int i=0; i<N; i++) {
    for(int j=0; j<=K; j++) {
      for(int k=0; k<sumR; k++) {

        if(j < K && k + a[i] <= sumR) {
          dp[i+1][j+1][k+a[i]] = min( dp[i+1][j+1][k+a[i]], dp[i][j][k] + max(a[i] - r[j], 0));
        }

        dp[i+1][j][k] = min(dp[i+1][j][k], dp[i][j][k] + max(0, a[i] - b[i-j]));
      }
    }
  }

  int ans = INF;

  for(int j=0; j<=K; j++) {
    for(int k=0; k<=sumR; k++) {
      if(N - j <= K && sumA - k <= sumB)
        ans = min(ans, dp[N][j][k]);
    }
  }

  if (ans == INF)
    cout << -1 << endl;
  else
    cout << ans << endl;

  return 0;
}

