#include <cstdio>

#include <cstring>

#include <iostream>

#include <algorithm>

using namespace std;

#define maxn 105

int n,xi,yi,ai[maxn],bi[maxn],ans;

inline void in(int &now)

{

    char Cget=getchar();now=;

    while(Cget>''||Cget<'') Cget=getchar();

    while(Cget>=''&&Cget<='')

    {

        now=now*+Cget-'';

        Cget=getchar();

    }

}

int main()

{

    in(n),in(xi),in(yi);

    for(int i=;i<=n;i++) in(ai[i]),in(bi[i]);

    for(int i=;i<=n;i++)

    {

        int a=xi-ai[i],b=yi-bi[i];

        if(a>=&&b>=) for(int v=i+;v<=n;v++)

        {

            if(ai[v]<=a&&bi[v]<=yi) ans=max(ai[i]*bi[i]+ai[v]*bi[v],ans);

            if(ai[v]<=b&&bi[v]<=xi) ans=max(ai[i]*bi[i]+ai[v]*bi[v],ans);

            if(bi[v]<=a&&ai[v]<=yi) ans=max(ai[i]*bi[i]+ai[v]*bi[v],ans);

            if(bi[v]<=b&&ai[v]<=xi) ans=max(ai[i]*bi[i]+ai[v]*bi[v],ans);

        }

        a=xi-bi[i],b=yi-ai[i];

        if(a>=&&b>=)for(int v=i+;v<=n;v++)

        {

            if(ai[v]<=a&&bi[v]<=yi) ans=max(ai[i]*bi[i]+ai[v]*bi[v],ans);

            if(ai[v]<=b&&bi[v]<=xi) ans=max(ai[i]*bi[i]+ai[v]*bi[v],ans);

            if(bi[v]<=a&&ai[v]<=yi) ans=max(ai[i]*bi[i]+ai[v]*bi[v],ans);

            if(bi[v]<=b&&ai[v]<=xi) ans=max(ai[i]*bi[i]+ai[v]*bi[v],ans);

        }

    }

    cout<<ans;

    return ;

}