package contest678;

import java.awt.geom.Line2D;
import java.util.*;

public class F {
	public static void main(String[] args) {
		new F().run();
	}

	void run() {
		solver();
	}

	void solver() {
		// Scanner sc = new Scanner(System.in);

		// int n = sc.nextInt();
		// int[][] qs = new int[n][];
		// for (int Q = 0; Q < n; ++Q) {
		// int t = sc.nextInt();// 0:add,1:removek,2:calc
		// if (t == 1) {
		// qs[Q] = new int[] { t, sc.nextInt(), sc.nextInt(), Q };
		// } else if (t == 2) {
		// qs[Q] = new int[] { t, sc.nextInt() - 1 };
		// } else if (t == 3) {
		// qs[Q] = new int[] { t, sc.nextInt() };
		// }
		// }
		Scanner sc = new Scanner(System.in);
		double[] x = new double[5];
		double[] y = new double[5];
		for (int i = 0; i < 5; i++) {
			x[i] = sc.nextDouble();
			y[i] = sc.nextDouble();
		}
		int[] d = convexHull(x, y);
		if (d.length == 5) {
			System.out.println("YES");
		} else {
			System.out.println("NO");
		}
	}

//	int[] convexHull(final double[] x, final double[] y) {
//		int n = x.length;
//		Integer[] ord = new Integer[n];
//		for (int i = 0; i < n; ++i) {
//			ord[i] = i;
//		}
//		Arrays.sort(ord, new Comparator<Integer>() {
//			@Override
//			public int compare(Integer o1, Integer o2) {
//				if (x[o1] != x[o2]) {
//					return Double.compare(x[o1], x[o2]);
//				} else {
//					return Double.compare(y[o1], y[o2]);
//				}
//			}
//		});
//
//		int[] ret = new int[n + 1];
//		int p = 0;
//		for (int i = 0; i < n; ++i) {
//			if (p >= 1 && x[ord[i]] == x[ret[p - 1]] && y[ord[i]] == y[ret[p - 1]])
//				continue;
//			while (p >= 2 && Line2D.relativeCCW(x[ret[p - 2]], y[ret[p - 2]], x[ret[p - 1]], y[ret[p - 1]], x[ord[i]],
//					y[ord[i]]) == 1)
//				p--;
//			ret[p++] = ord[i];
//		}
//
//		int inf = p + 1;
//		for (int i = n - 2; i >= 0; --i) {
//			if (x[ret[p - 1]] == x[ord[i]] && y[ret[p - 1]] == y[ord[i]])
//				continue;
//			if (p >= inf && Line2D.relativeCCW(x[ret[p - 2]], y[ret[p - 2]], x[ret[p - 1]], y[ret[p - 1]], x[ord[i]],
//					y[ord[i]]) == 1)
//				p--;
//			ret[p++] = ord[i];
//		}
//
//		return Arrays.copyOf(ret, p - 1);
//	}
	
	public static int[] convexHull(final double[] x, final double[] y)
	{
		int n = x.length;
		Integer[] ord = new Integer[n];
		for(int i = 0;i < n;i++)ord[i] = i;
		Arrays.sort(ord, new Comparator<Integer>(){
			public int compare(Integer a, Integer b){
				if(x[a] != x[b])return x[a] < x[b] ? -1 : 1;
				if(y[a] != y[b])return y[a] < y[b] ? -1 : 1;
				return 0;
			}
		});
		
		int[] ret = new int[n + 1];
		int p = 0;
		for(int i = 0;i < n;i++){
			if(p >= 1 && x[ret[p-1]] == x[ord[i]] && y[ret[p-1]] == y[ord[i]])continue;
			while(p >= 2 && Line2D.relativeCCW(
					x[ret[p-2]], y[ret[p-2]],
					x[ret[p-1]], y[ret[p-1]],
					x[ord[i]], y[ord[i]]) == 1)p--;
			ret[p++] = ord[i];
		}
		
		int inf = p + 1;
		for(int i = n - 2;i >= 0;i--){
			if(x[ret[p-1]] == x[ord[i]] && y[ret[p-1]] == y[ord[i]])continue;
			while(p >= inf && Line2D.relativeCCW(
					x[ret[p-2]], y[ret[p-2]],
					x[ret[p-1]], y[ret[p-1]],
					x[ord[i]], y[ord[i]]) == 1)p--;
			ret[p++] = ord[i];
		}
		
		return Arrays.copyOf(ret, p - 1);
	}
}