"use strict";

function main(input){
  let arr = input.trim().split(' ').sort();
  if(arr[0] === 5 && arr[1] === 7 && arr[2] === 5)
    console.log("YES");
  else
    console.log("NO");
}

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