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