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];
	X.sort int[];
	if(X == [5, 5, 7]) {
		writeln("YES");
	} else {
		writeln("NO");
	}
}