function main(input) {
    var arr = [];
    var rows = input.split("\n");
    rows = rows.sort();
    if(rows[0] == 5 && rows[1] == 5 && rows[2] == 7){
    	console.log("YES");
    }else{
    	console.log("NO");
    }
}
main(require("fs").readFileSync("/dev/stdin", "utf8"));