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

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