import std.stdio;
import std.string;
import std.conv;
import std.algorithm;
import std.array;

void main(){
	auto F=readln.split.to!(int[]),A=F[0],B=F[1],C=F[2];
	if(A+B+C==17)writeln("YES");
	else writeln("NO");

}