#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint1000000007;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000000000000
	

int main(){	
	
	vector<pair<int,int>> xy(5);
	rep(i,5)cin>>xy[i].first>>xy[i].second;
	sort(xy.begin(),xy.end());
	
	do{
		bool f = true;
		rep(i,5){
			int a = i;
			int b = (i+1)%5;
			if(xy[a].first*xy[b].second - xy[b].first*xy[a].second<=0)f = false;
			
		}
		if(f){
			cout<<"YES"<<endl;
			return 0;
		}
	}
	while(next_permutation(xy.begin(),xy.end()));
	cout<<"NO"<<endl;
	return 0;
	
}