import std.stdio, std.string, std.conv, std.array, std.algorithm;
import std.uni, std.range, std.math, std.container, std.datetime;
import core.bitop;

immutable long MOD = 1_000_000_007;

void main(){
    auto input = readln.split.to!(int[]).sort();
    string ans;
    
    if(input.equal([5, 5, 7])) ans = "YES";
    else ans = "NO";

    writeln(ans);
}