import std.stdio;
import std.array;
import std.conv;
import std.algorithm;
alias asort = std.algorithm.sort;
import std.range;
import std.string;
import std.math;

void main() {
  if (
    readln.chomp.split(" ").map!(to!uint).array.asort.equal([5, 5, 7])
  ) {
    writeln("YES");
  } else {
    writeln("NO");
  }
}
