function Main(input){
  input = input.split(' ').map(num => Number(num));

  input.sort(function(a,b){
    if( a < b ) return -1;
    if( a > b ) return 1;
    return 0;
});

    if(input.toString() === [5,5,7].toString()) {
        console.log('YES');
    } else {
        console.log('NO');
    }
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));