function main(lines) {
  const input = s();
  
  let ans = 'NO';
  switch (input) {
    case '7 5 5':
    case '5 7 5':
    case '5 5 7':
      ans = 'YES';
  }
  
  return ans;
}



const lines = require("fs").readFileSync("/dev/stdin", "utf8").trim().split("\n");

let lineCount = 0;
const s = () => lines[lineCount++];
const n = () => Number(s());
const b = () => BigInt(s());
const sa = () => s().split(' ');
const na = () => sa().map(Number);
const ba = () => sa().map(BigInt);

const ans = main(lines);
console.log( ans );