1 1 2 2
1000000000 1000000000
1
 1 1 1000000000 1000000000
100 1000000000
1
 1 1 10 18
5 6
5
 2 1 1000000000 2000000000
111 999999999
101 999999998
1
 4 13 400 600
13 30
1 19
1 160
1 113
58 73 15 319 194 362 128 157 336 162 77 90 96
 1 15 100 200
283 8
30 58 16 45 80 82 55 95 24 23 86 28 51 47 20
 3 2 300 400
24 68
13 65
15 113
127 177
 1 1 2 1
1 10
1
 4 2 7 15
10 9
4 4
9 3
4 10
1 6
 2 1 1000000000 2000000000
111 1000000000
101 1000000000
5
 2 1 1000000000 2000000000
111 999999998
101 999999998
1
 1 1 1000000000 1000000000
1 1000000000
1

1000000000
 -1
 5
 111
 1
 -1
 -1
 -1
 4
 101
 -1
 -1

#include <bits/stdc++.h>
using namespace std;
template <typename T>
inline T abs(T t) {
  return t < 0 ? -t : t;
}
const long long modn = 1000000007;
inline long long mod(long long x) { return x % modn; }
const int MAXN = 212345;
int n, m;
long long k;
pair<long long, long long> s[MAXN];
long long p[MAXN], t;
long long test(long long c) {
  long long ans = 0;
  for (int a = 1; a <= m; a++) {
    if (c < (p[a] - p[a - 1])) return LLONG_MAX;
    if (c > 2 * (p[a] - p[a - 1])) {
      ans += p[a] - p[a - 1];
    } else {
      ans +=
          2 * (p[a] - p[a - 1]) - min(p[a] - p[a - 1], (c - (p[a] - p[a - 1])));
    }
  };
  return ans;
}
int main() {
  scanf("%d%d%lld%lld", &n, &m, &k, &t);
  for (int a = 0; a < n; a++) {
    scanf("%lld%lld", &s[a].first, &s[a].second);
  }
  p[0] = 0;
  for (int a = 1; a <= m; a++) {
    scanf("%lld", &p[a]);
  }
  p[m + 1] = k;
  m++;
  sort(p, p + m + 1);
  long long i = 1, j = 5e9;
  while (i < j) {
    long long m = (i + j) / 2ll;
    if (test(m) <= t)
      j = m;
    else
      i = m + 1;
  };
  long long res = LLONG_MAX;
  for (int a = 0; a < n; a++) {
    if (s[a].second >= i && s[a].first < res) {
      res = s[a].first;
    }
  }
  if (res != LLONG_MAX)
    printf("%lld\n", res);
  else
    puts("-1");
}
