integer :: piyo(3),i,p(2)
read*,piyo(1),piyo(2),piyo(3)

p = 0
do i = 1,3
  if(piyo(i)==5) p(1) = p(1) + 1
  if(piyo(i)==7) p(2) = p(2) + 1
end do

if( p(1)==2.and.p(2)==1 )then
  print*,'YES'
else
  print*,'NO'
end if
end