import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner scan = new Scanner(System.in);
		String InStr = scan.nextLine();

		String[] AryStr = InStr.split(" ");

		long cnt5 = 0;
		long cnt7 = 0;
		int i = 0;
      
		while(i <= 2) {
          if (AryStr[i].equals("5") ) {
				cnt5++;
			}
			if (AryStr[i].equals("7") ) {
				cnt7++;
			}
			i++;
		}

		if (cnt5 == 2 && cnt7 == 1) {
			System.out.println("YES");
		} else {
			System.out.println("NO");
		}
		scan.close();
	}
} import java.util.Scanner; Scanner java.util public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner scan = new Scanner(System.in);
		String InStr = scan.nextLine();

		String[] AryStr = InStr.split(" ");

		long cnt5 = 0;
		long cnt7 = 0;
		int i = 0;
      
		while(i <= 2) {
          if (AryStr[i].equals("5") ) {
				cnt5++;
			}
			if (AryStr[i].equals("7") ) {
				cnt7++;
			}
			i++;
		}

		if (cnt5 == 2 && cnt7 == 1) {
			System.out.println("YES");
		} else {
			System.out.println("NO");
		}
		scan.close();
	}
} Main public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner scan = new Scanner(System.in);
		String InStr = scan.nextLine();

		String[] AryStr = InStr.split(" ");

		long cnt5 = 0;
		long cnt7 = 0;
		int i = 0;
      
		while(i <= 2) {
          if (AryStr[i].equals("5") ) {
				cnt5++;
			}
			if (AryStr[i].equals("7") ) {
				cnt7++;
			}
			i++;
		}

		if (cnt5 == 2 && cnt7 == 1) {
			System.out.println("YES");
		} else {
			System.out.println("NO");
		}
		scan.close();
	} main {
		// TODO 自動生成されたメソッド・スタブ
		Scanner scan = new Scanner(System.in);
		String InStr = scan.nextLine();

		String[] AryStr = InStr.split(" ");

		long cnt5 = 0;
		long cnt7 = 0;
		int i = 0;
      
		while(i <= 2) {
          if (AryStr[i].equals("5") ) {
				cnt5++;
			}
			if (AryStr[i].equals("7") ) {
				cnt7++;
			}
			i++;
		}

		if (cnt5 == 2 && cnt7 == 1) {
			System.out.println("YES");
		} else {
			System.out.println("NO");
		}
		scan.close();
	} Scanner scan = new Scanner(System.in); scan new Scanner(System.in) String InStr = scan.nextLine(); InStr scan.nextLine() scan.nextLine scan String[] AryStr = InStr.split(" "); AryStr InStr.split(" ") InStr.split InStr " " long cnt5 = 0; cnt5 0 long cnt7 = 0; cnt7 0 int i = 0; i 0 while(i <= 2) {
          if (AryStr[i].equals("5") ) {
				cnt5++;
			}
			if (AryStr[i].equals("7") ) {
				cnt7++;
			}
			i++;
		} i <= 2 i 2 {
          if (AryStr[i].equals("5") ) {
				cnt5++;
			}
			if (AryStr[i].equals("7") ) {
				cnt7++;
			}
			i++;
		} if (AryStr[i].equals("5") ) {
				cnt5++;
			} AryStr[i].equals("5") AryStr[i].equals AryStr[i] AryStr i "5" {
				cnt5++;
			} cnt5++ cnt5 if (AryStr[i].equals("7") ) {
				cnt7++;
			} AryStr[i].equals("7") AryStr[i].equals AryStr[i] AryStr i "7" {
				cnt7++;
			} cnt7++ cnt7 i++ i if (cnt5 == 2 && cnt7 == 1) {
			System.out.println("YES");
		} else {
			System.out.println("NO");
		} cnt5 == 2 && cnt7 == 1 cnt5 == 2 cnt5 2 cnt7 == 1 cnt7 1 {
			System.out.println("YES");
		} System.out.println("YES") System.out.println System.out System System.out "YES" {
			System.out.println("NO");
		} System.out.println("NO") System.out.println System.out System System.out "NO" scan.close() scan.close scan String[] args args public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner scan = new Scanner(System.in);
		String InStr = scan.nextLine();

		String[] AryStr = InStr.split(" ");

		long cnt5 = 0;
		long cnt7 = 0;
		int i = 0;
      
		while(i <= 2) {
          if (AryStr[i].equals("5") ) {
				cnt5++;
			}
			if (AryStr[i].equals("7") ) {
				cnt7++;
			}
			i++;
		}

		if (cnt5 == 2 && cnt7 == 1) {
			System.out.println("YES");
		} else {
			System.out.println("NO");
		}
		scan.close();
	}
} public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner scan = new Scanner(System.in);
		String InStr = scan.nextLine();

		String[] AryStr = InStr.split(" ");

		long cnt5 = 0;
		long cnt7 = 0;
		int i = 0;
      
		while(i <= 2) {
          if (AryStr[i].equals("5") ) {
				cnt5++;
			}
			if (AryStr[i].equals("7") ) {
				cnt7++;
			}
			i++;
		}

		if (cnt5 == 2 && cnt7 == 1) {
			System.out.println("YES");
		} else {
			System.out.println("NO");
		}
		scan.close();
	}
} Main
import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner scan = new Scanner(System.in);
		String InStr = scan.nextLine();

		String[] AryStr = InStr.split(" ");

		long cnt5 = 0;
		long cnt7 = 0;
		int i = 0;
      
		while(i <= 2) {
          if (AryStr[i].equals("5") ) {
				cnt5++;
			}
			if (AryStr[i].equals("7") ) {
				cnt7++;
			}
			i++;
		}

		if (cnt5 == 2 && cnt7 == 1) {
			System.out.println("YES");
		} else {
			System.out.println("NO");
		}
		scan.close();
	}
}