function main(input) {
    // const number = Number(input.split("\n")[0]);
    const list = input.split(" ").map(v => Number(v));
    const result = { true:"YES",false:"NO" };

    const is575 = list => {
        // const has575 = [5, 7];
        const syllable575 = new Map();
        syllable575.set(5, 2);
        syllable575.set(7, 1);

        for (const syllable of syllable575.keys()) {
            if (list.filter(v => v === syllable ? true : false ).length !== syllable575.get(syllable)) {
                return(false);
            }
        }
        return(true);
    }
    console.log(result[is575(list)]) ;
}


// let input = "5 5 7";
// let input = "7 5 7";
// let input = "7 5 5";

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