function Main(input){

    var inputList = input.split(" ");
    var x = 0;
    var y = 0;
    
    for(i = 0; i < inputList.length; i++){
        inputList[i] = parseInt(inputList[i], 10);
    }

    for(i = 0; i < inputList.length; i++){
        if(inputList[i] === 5){
            x = x + 1;
        } else if(inputList[i] === 7){
            y = y + 1;
        }
    }

    if(x === 2 && y === 1){
        console.log("YES");
    }else{
        console.log("NO");
    }

}

Main(require("fs").readFileSync("/dev/stdin", "utf8"));