import java.util.*;

public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		//入力を数値に変換
		Scanner sc = new Scanner(System.in);
		int oto[] = new int[3];

		for (int i = 0; i < 3; i++) {
			oto[i] = sc.nextInt();
		}

		if(oto[0] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[0];
			oto[0] = toriaezu;
		}

		if(oto[2] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[2];
			oto[2] = toriaezu;
		}

		if(oto[0] == 5 && oto[1] == 7 && oto[2] == 5) {
			System.out.print("YES");
		}else {
			System.out.print("NO");
		}
}
} import java.util.*; util.* java public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		//入力を数値に変換
		Scanner sc = new Scanner(System.in);
		int oto[] = new int[3];

		for (int i = 0; i < 3; i++) {
			oto[i] = sc.nextInt();
		}

		if(oto[0] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[0];
			oto[0] = toriaezu;
		}

		if(oto[2] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[2];
			oto[2] = toriaezu;
		}

		if(oto[0] == 5 && oto[1] == 7 && oto[2] == 5) {
			System.out.print("YES");
		}else {
			System.out.print("NO");
		}
}
} Main public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		//入力を数値に変換
		Scanner sc = new Scanner(System.in);
		int oto[] = new int[3];

		for (int i = 0; i < 3; i++) {
			oto[i] = sc.nextInt();
		}

		if(oto[0] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[0];
			oto[0] = toriaezu;
		}

		if(oto[2] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[2];
			oto[2] = toriaezu;
		}

		if(oto[0] == 5 && oto[1] == 7 && oto[2] == 5) {
			System.out.print("YES");
		}else {
			System.out.print("NO");
		}
} main {
		// TODO 自動生成されたメソッド・スタブ
		//入力を数値に変換
		Scanner sc = new Scanner(System.in);
		int oto[] = new int[3];

		for (int i = 0; i < 3; i++) {
			oto[i] = sc.nextInt();
		}

		if(oto[0] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[0];
			oto[0] = toriaezu;
		}

		if(oto[2] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[2];
			oto[2] = toriaezu;
		}

		if(oto[0] == 5 && oto[1] == 7 && oto[2] == 5) {
			System.out.print("YES");
		}else {
			System.out.print("NO");
		}
} Scanner sc = new Scanner(System.in); sc new Scanner(System.in) int oto[] = new int[3]; oto new int[3] 3 for (int i = 0; i < 3; i++) {
			oto[i] = sc.nextInt();
		} int i = 0; int i = 0; i 0 i < 3 i 3 i++ i++ i {
			oto[i] = sc.nextInt();
		} {
			oto[i] = sc.nextInt();
		} oto[i] = sc.nextInt() oto[i] oto i sc.nextInt() sc.nextInt sc if(oto[0] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[0];
			oto[0] = toriaezu;
		} oto[0] != 5 oto[0] oto 0 5 {
			int toriaezu = oto[1];
			oto[1] = oto[0];
			oto[0] = toriaezu;
		} int toriaezu = oto[1]; toriaezu oto[1] oto 1 oto[1] = oto[0] oto[1] oto 1 oto[0] oto 0 oto[0] = toriaezu oto[0] oto 0 toriaezu if(oto[2] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[2];
			oto[2] = toriaezu;
		} oto[2] != 5 oto[2] oto 2 5 {
			int toriaezu = oto[1];
			oto[1] = oto[2];
			oto[2] = toriaezu;
		} int toriaezu = oto[1]; toriaezu oto[1] oto 1 oto[1] = oto[2] oto[1] oto 1 oto[2] oto 2 oto[2] = toriaezu oto[2] oto 2 toriaezu if(oto[0] == 5 && oto[1] == 7 && oto[2] == 5) {
			System.out.print("YES");
		}else {
			System.out.print("NO");
		} oto[0] == 5 && oto[1] == 7 && oto[2] == 5 oto[0] == 5 && oto[1] == 7 && oto[2] == 5 oto[0] == 5 oto[0] oto 0 5 oto[1] == 7 oto[1] oto 1 7 oto[2] == 5 oto[2] oto 2 5 {
			System.out.print("YES");
		} System.out.print("YES") System.out.print System.out System System.out "YES" {
			System.out.print("NO");
		} System.out.print("NO") System.out.print System.out System System.out "NO" String[] args args public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		//入力を数値に変換
		Scanner sc = new Scanner(System.in);
		int oto[] = new int[3];

		for (int i = 0; i < 3; i++) {
			oto[i] = sc.nextInt();
		}

		if(oto[0] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[0];
			oto[0] = toriaezu;
		}

		if(oto[2] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[2];
			oto[2] = toriaezu;
		}

		if(oto[0] == 5 && oto[1] == 7 && oto[2] == 5) {
			System.out.print("YES");
		}else {
			System.out.print("NO");
		}
}
} public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		//入力を数値に変換
		Scanner sc = new Scanner(System.in);
		int oto[] = new int[3];

		for (int i = 0; i < 3; i++) {
			oto[i] = sc.nextInt();
		}

		if(oto[0] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[0];
			oto[0] = toriaezu;
		}

		if(oto[2] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[2];
			oto[2] = toriaezu;
		}

		if(oto[0] == 5 && oto[1] == 7 && oto[2] == 5) {
			System.out.print("YES");
		}else {
			System.out.print("NO");
		}
}
} Main
import java.util.*;

public class Main {

	public static void main(String[] args) {
		// TODO 自動生成されたメソッド・スタブ
		//入力を数値に変換
		Scanner sc = new Scanner(System.in);
		int oto[] = new int[3];

		for (int i = 0; i < 3; i++) {
			oto[i] = sc.nextInt();
		}

		if(oto[0] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[0];
			oto[0] = toriaezu;
		}

		if(oto[2] != 5) {
			int toriaezu = oto[1];
			oto[1] = oto[2];
			oto[2] = toriaezu;
		}

		if(oto[0] == 5 && oto[1] == 7 && oto[2] == 5) {
			System.out.print("YES");
		}else {
			System.out.print("NO");
		}
}
}
