import std.stdio;
import std.conv;
import std.string;
import std.typecons;
import std.algorithm;
import std.array;
import std.range;
import std.math;
import std.regex : regex;
import std.container;
import std.bigint;


void main()
{
  auto abc = sort(readln.chomp.split.map!(to!int).array);
  if (abc[0] == 5 && abc[1] == 5 && abc[2] == 7) writeln("YES");
  else writeln("NO");
}
