import java.util.*;
import java.io.*;

class Main {

	void solve() {
		
		int five = 0, seven = 0;
		for (int i=0; i<3; i++) {
			if (inint() == 5) five++;
			else seven++;
		}
		
		out.println(five==2&&seven==1? "YES" : "NO");
		
	}

	public static Scanner in = new Scanner(System.in);
	public static PrintWriter out = new PrintWriter(System.out);

	public static void main(String[] args) {
		new Main().solve();
		out.flush();
	}

	public int inint() {
		return in.nextInt();
	}

	public long inlong() {
		return in.nextLong();
	}

	public String instr() {
		return in.next();
	}

	public char inchar() {
		return in.next().charAt(0);
	}

	public int[] inintar(int num) {
		int[] a = new int[num];
		for (int i=0; i<num; i++) {
			a[i] = in.nextInt();
		}
		return a;
	}

	public char[] incharar() {
		return in.next().toCharArray();
	}

	public char[][] incharmap(int h, int w) {
		char[][] a = new char[h][w];
		for (int i=0; i<h; i++) {
			String temp = in.next();
			for (int j=0; j<w; j++) {
				a[i][j] = temp.charAt(j);
			}
		}
		return a;
	}

} import java.util.*; util.* java import java.io.*; io.* java class Main {

	void solve() {
		
		int five = 0, seven = 0;
		for (int i=0; i<3; i++) {
			if (inint() == 5) five++;
			else seven++;
		}
		
		out.println(five==2&&seven==1? "YES" : "NO");
		
	}

	public static Scanner in = new Scanner(System.in);
	public static PrintWriter out = new PrintWriter(System.out);

	public static void main(String[] args) {
		new Main().solve();
		out.flush();
	}

	public int inint() {
		return in.nextInt();
	}

	public long inlong() {
		return in.nextLong();
	}

	public String instr() {
		return in.next();
	}

	public char inchar() {
		return in.next().charAt(0);
	}

	public int[] inintar(int num) {
		int[] a = new int[num];
		for (int i=0; i<num; i++) {
			a[i] = in.nextInt();
		}
		return a;
	}

	public char[] incharar() {
		return in.next().toCharArray();
	}

	public char[][] incharmap(int h, int w) {
		char[][] a = new char[h][w];
		for (int i=0; i<h; i++) {
			String temp = in.next();
			for (int j=0; j<w; j++) {
				a[i][j] = temp.charAt(j);
			}
		}
		return a;
	}

} Main public static Scanner in = new Scanner(System.in); in new Scanner(System.in) public static PrintWriter out = new PrintWriter(System.out); out new PrintWriter(System.out) void solve() {
		
		int five = 0, seven = 0;
		for (int i=0; i<3; i++) {
			if (inint() == 5) five++;
			else seven++;
		}
		
		out.println(five==2&&seven==1? "YES" : "NO");
		
	} solve {
		
		int five = 0, seven = 0;
		for (int i=0; i<3; i++) {
			if (inint() == 5) five++;
			else seven++;
		}
		
		out.println(five==2&&seven==1? "YES" : "NO");
		
	} int five = 0 five 0 seven = 0; seven 0 for (int i=0; i<3; i++) {
			if (inint() == 5) five++;
			else seven++;
		} int i=0; int i=0; i 0 i<3 i 3 i++ i++ i {
			if (inint() == 5) five++;
			else seven++;
		} {
			if (inint() == 5) five++;
			else seven++;
		} if (inint() == 5) five++;
			else seven++; inint() == 5 inint() inint 5 five++ five seven++ seven out.println(five==2&&seven==1? "YES" : "NO") out.println out five==2&&seven==1? "YES" : "NO" five==2&&seven==1 five==2 five 2 seven==1 seven 1 "YES" "NO" public static void main(String[] args) {
		new Main().solve();
		out.flush();
	} main {
		new Main().solve();
		out.flush();
	} new Main().solve() new Main().solve new Main() out.flush() out.flush out String[] args args public int inint() {
		return in.nextInt();
	} inint {
		return in.nextInt();
	} return in.nextInt(); in.nextInt() in.nextInt in public long inlong() {
		return in.nextLong();
	} inlong {
		return in.nextLong();
	} return in.nextLong(); in.nextLong() in.nextLong in public String instr() {
		return in.next();
	} instr {
		return in.next();
	} return in.next(); in.next() in.next in public char inchar() {
		return in.next().charAt(0);
	} inchar {
		return in.next().charAt(0);
	} return in.next().charAt(0); in.next().charAt(0) in.next().charAt in.next() in.next in 0 public int[] inintar(int num) {
		int[] a = new int[num];
		for (int i=0; i<num; i++) {
			a[i] = in.nextInt();
		}
		return a;
	} inintar {
		int[] a = new int[num];
		for (int i=0; i<num; i++) {
			a[i] = in.nextInt();
		}
		return a;
	} int[] a = new int[num]; a new int[num] num for (int i=0; i<num; i++) {
			a[i] = in.nextInt();
		} int i=0; int i=0; i 0 i<num i num i++ i++ i {
			a[i] = in.nextInt();
		} {
			a[i] = in.nextInt();
		} a[i] = in.nextInt() a[i] a i in.nextInt() in.nextInt in return a; a int num num public char[] incharar() {
		return in.next().toCharArray();
	} incharar {
		return in.next().toCharArray();
	} return in.next().toCharArray(); in.next().toCharArray() in.next().toCharArray in.next() in.next in public char[][] incharmap(int h, int w) {
		char[][] a = new char[h][w];
		for (int i=0; i<h; i++) {
			String temp = in.next();
			for (int j=0; j<w; j++) {
				a[i][j] = temp.charAt(j);
			}
		}
		return a;
	} incharmap {
		char[][] a = new char[h][w];
		for (int i=0; i<h; i++) {
			String temp = in.next();
			for (int j=0; j<w; j++) {
				a[i][j] = temp.charAt(j);
			}
		}
		return a;
	} char[][] a = new char[h][w]; a new char[h][w] h w for (int i=0; i<h; i++) {
			String temp = in.next();
			for (int j=0; j<w; j++) {
				a[i][j] = temp.charAt(j);
			}
		} int i=0; int i=0; i 0 i<h i h i++ i++ i {
			String temp = in.next();
			for (int j=0; j<w; j++) {
				a[i][j] = temp.charAt(j);
			}
		} {
			String temp = in.next();
			for (int j=0; j<w; j++) {
				a[i][j] = temp.charAt(j);
			}
		} String temp = in.next(); temp in.next() in.next in for (int j=0; j<w; j++) {
				a[i][j] = temp.charAt(j);
			} int j=0; int j=0; j 0 j<w j w j++ j++ j {
				a[i][j] = temp.charAt(j);
			} {
				a[i][j] = temp.charAt(j);
			} a[i][j] = temp.charAt(j) a[i][j] a[i] a i j temp.charAt(j) temp.charAt temp j return a; a int h h int w w
import java.util.*;
import java.io.*;

class Main {

	void solve() {
		
		int five = 0, seven = 0;
		for (int i=0; i<3; i++) {
			if (inint() == 5) five++;
			else seven++;
		}
		
		out.println(five==2&&seven==1? "YES" : "NO");
		
	}

	public static Scanner in = new Scanner(System.in);
	public static PrintWriter out = new PrintWriter(System.out);

	public static void main(String[] args) {
		new Main().solve();
		out.flush();
	}

	public int inint() {
		return in.nextInt();
	}

	public long inlong() {
		return in.nextLong();
	}

	public String instr() {
		return in.next();
	}

	public char inchar() {
		return in.next().charAt(0);
	}

	public int[] inintar(int num) {
		int[] a = new int[num];
		for (int i=0; i<num; i++) {
			a[i] = in.nextInt();
		}
		return a;
	}

	public char[] incharar() {
		return in.next().toCharArray();
	}

	public char[][] incharmap(int h, int w) {
		char[][] a = new char[h][w];
		for (int i=0; i<h; i++) {
			String temp = in.next();
			for (int j=0; j<w; j++) {
				a[i][j] = temp.charAt(j);
			}
		}
		return a;
	}

}