import std.stdio;
import std.conv;
import std.string;

void main()
{
	auto X = readln.split.to!(int[]),A = X[0], B = X[1], C = X[2];
	if(X.count(5)　== 2 && X.count(7) == 1) {
		writeln("YES");
	} else {
		writeln("NO");
	}
}