import java.util.Scanner;

public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		Scanner scan = new Scanner(System.in);
		int A = scan.nextInt();
		int B = scan.nextInt();
		int C = scan.nextInt();
		int sum5 = 0;
		int sum7 = 0;
		
		if(A == 5) {
			sum5++;
		} else if(A == 7) {
			sum7++;
		}
		if(B == 5) {
			sum5++;
		} else if(B == 7) {
			sum7++;
		}
		if(C == 5) {
			sum5++;
		} else if(C == 7) {
			sum7++;
		}
		
		if(sum5 == 2 && sum7 == 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);
		int A = scan.nextInt();
		int B = scan.nextInt();
		int C = scan.nextInt();
		int sum5 = 0;
		int sum7 = 0;
		
		if(A == 5) {
			sum5++;
		} else if(A == 7) {
			sum7++;
		}
		if(B == 5) {
			sum5++;
		} else if(B == 7) {
			sum7++;
		}
		if(C == 5) {
			sum5++;
		} else if(C == 7) {
			sum7++;
		}
		
		if(sum5 == 2 && sum7 == 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);
		int A = scan.nextInt();
		int B = scan.nextInt();
		int C = scan.nextInt();
		int sum5 = 0;
		int sum7 = 0;
		
		if(A == 5) {
			sum5++;
		} else if(A == 7) {
			sum7++;
		}
		if(B == 5) {
			sum5++;
		} else if(B == 7) {
			sum7++;
		}
		if(C == 5) {
			sum5++;
		} else if(C == 7) {
			sum7++;
		}
		
		if(sum5 == 2 && sum7 == 1) {
			System.out.println("YES");
		} else {
			System.out.println("NO");
		}
		
		scan.close();
	} main {
		// TODO 自動生成されたメソッド・スタブ
		Scanner scan = new Scanner(System.in);
		int A = scan.nextInt();
		int B = scan.nextInt();
		int C = scan.nextInt();
		int sum5 = 0;
		int sum7 = 0;
		
		if(A == 5) {
			sum5++;
		} else if(A == 7) {
			sum7++;
		}
		if(B == 5) {
			sum5++;
		} else if(B == 7) {
			sum7++;
		}
		if(C == 5) {
			sum5++;
		} else if(C == 7) {
			sum7++;
		}
		
		if(sum5 == 2 && sum7 == 1) {
			System.out.println("YES");
		} else {
			System.out.println("NO");
		}
		
		scan.close();
	} Scanner scan = new Scanner(System.in); scan new Scanner(System.in) int A = scan.nextInt(); A scan.nextInt() scan.nextInt scan int B = scan.nextInt(); B scan.nextInt() scan.nextInt scan int C = scan.nextInt(); C scan.nextInt() scan.nextInt scan int sum5 = 0; sum5 0 int sum7 = 0; sum7 0 if(A == 5) {
			sum5++;
		} else if(A == 7) {
			sum7++;
		} A == 5 A 5 {
			sum5++;
		} sum5++ sum5 if(A == 7) {
			sum7++;
		} A == 7 A 7 {
			sum7++;
		} sum7++ sum7 if(B == 5) {
			sum5++;
		} else if(B == 7) {
			sum7++;
		} B == 5 B 5 {
			sum5++;
		} sum5++ sum5 if(B == 7) {
			sum7++;
		} B == 7 B 7 {
			sum7++;
		} sum7++ sum7 if(C == 5) {
			sum5++;
		} else if(C == 7) {
			sum7++;
		} C == 5 C 5 {
			sum5++;
		} sum5++ sum5 if(C == 7) {
			sum7++;
		} C == 7 C 7 {
			sum7++;
		} sum7++ sum7 if(sum5 == 2 && sum7 == 1) {
			System.out.println("YES");
		} else {
			System.out.println("NO");
		} sum5 == 2 && sum7 == 1 sum5 == 2 sum5 2 sum7 == 1 sum7 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);
		int A = scan.nextInt();
		int B = scan.nextInt();
		int C = scan.nextInt();
		int sum5 = 0;
		int sum7 = 0;
		
		if(A == 5) {
			sum5++;
		} else if(A == 7) {
			sum7++;
		}
		if(B == 5) {
			sum5++;
		} else if(B == 7) {
			sum7++;
		}
		if(C == 5) {
			sum5++;
		} else if(C == 7) {
			sum7++;
		}
		
		if(sum5 == 2 && sum7 == 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);
		int A = scan.nextInt();
		int B = scan.nextInt();
		int C = scan.nextInt();
		int sum5 = 0;
		int sum7 = 0;
		
		if(A == 5) {
			sum5++;
		} else if(A == 7) {
			sum7++;
		}
		if(B == 5) {
			sum5++;
		} else if(B == 7) {
			sum7++;
		}
		if(C == 5) {
			sum5++;
		} else if(C == 7) {
			sum7++;
		}
		
		if(sum5 == 2 && sum7 == 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);
		int A = scan.nextInt();
		int B = scan.nextInt();
		int C = scan.nextInt();
		int sum5 = 0;
		int sum7 = 0;
		
		if(A == 5) {
			sum5++;
		} else if(A == 7) {
			sum7++;
		}
		if(B == 5) {
			sum5++;
		} else if(B == 7) {
			sum7++;
		}
		if(C == 5) {
			sum5++;
		} else if(C == 7) {
			sum7++;
		}
		
		if(sum5 == 2 && sum7 == 1) {
			System.out.println("YES");
		} else {
			System.out.println("NO");
		}
		
		scan.close();
	}

}
