#include <bits/stdc++.h>
#define range(i,a,b) for(int (i)=(a);(i)<(b);(i)++)
#define rep(i,n) range(i,0,n)
using namespace std;

typedef complex<double> P;

int main(void){
	P p[4];
	while(1){
		rep(i,4){
			double x,y;
			cin >> x >> y;
			p[i]={x,y};
		}
		bool ok=true;
		if(p[1].real()<p[2].real()) ok=false;
		if(p[3].real()<p[0].real()) ok=false;
		if(p[1].imag()<p[2].imag()) ok=false;
		if(p[3].imag()<p[0].imag()) ok=false;
		if(ok)
			puts("YES");
		else
			puts("NO");
	}
	return 0;
}