题目链接：http://codeforces.com/problemset/problem/483/B
#include<bits/stdc++.h>
using namespace std;#define debug puts("YES");
#define rep(x,y,z) for(int (x)=(y);(x)<(z);(x)++)
#define ll long long#define lrt int l,int r,int rt
#define lson l,mid,rt<<1
#define rson mid+1,r,rt<<1|1
#define root l,r,rt
#define mst(a,b) memset((a),(b),sizeof(a))
const int maxn =1e3+5;
const int mod=9999991;
const int ub=1e6;
ll powmod(ll x,ll y){ll t; for(t=1;y;y>>=1,x=x*x%mod) if(y&1) t=t*x%mod; return t;}
ll gcd(ll x,ll y){return y?gcd(y,x%y):x;}/*
题意明显要二分，
关键是确定一个答案是否可行，
在去除了x数的其他数中，不能少于n,
在去除了y数的其他数中，不能少于m。当然，去除不能选择的数（公倍数）之后的数字总和
不能少于n+m.*/ll n,m,x,y;
bool judge(ll t)
{if(t-t/x<n) return false;if(t-t/y<m) return false;ll lcm=x/gcd(x,y)*y;if(t-t/lcm<n+m) return false;return true;
}int main()
{scanf("%lld%lld%lld%lld",&n,&m,&x,&y);ll r=2e9+10,l=n+m,ans;while(l<r){ll mid=l+r>>1;if(judge(mid)) {ans=mid;r=mid;}else l=mid+1;}printf("%lld\n",ans);return 0;
}