#include <bits/stdc++.h>
using namespace std;
const int N = 111;
int n, a, b;
int x[N][2];
int main() {
  scanf("%d%d%d", &n, &a, &b);
  for (int i = 0; i < n; i++) scanf("%d%d", &x[i][0], &x[i][1]);
  int ans = 0;
  for (int i = 0; i < n; i++)
    for (int j = 0; j < i; j++) {
      int S = x[i][0] * x[i][1] + x[j][0] * x[j][1];
      for (int k = 0; k < 4; k++) {
        if (x[i][0] + x[j][0] <= a && x[i][1] <= b && x[j][1] <= b)
          ans = max(ans, S);
        if (x[i][0] <= a && x[j][0] <= a && x[i][1] + x[j][1] <= b)
          ans = max(ans, S);
        swap(x[j][0], x[j][1]);
        if (k % 2 == 1) swap(x[i][0], x[i][1]);
      }
    }
  printf("%d\n", ans);
  return 0;
}
