function main(input) {
    var a = input.trim().split(/\s+/).map((e) => {return Number(e)}).sort();
    console.log(a[0] == 5 && a[1] == 5 && a[2] == 7 ? 'YES' : 'NO');
}
main(require('fs').readFileSync('/dev/stdin', 'utf8'));
