function main (s) {
    s=s.split(" ");
	var c=[0,0];
	for(var i=0;i<3;i++){
		s[i]=parseInt(s[i]);
		if(s[i]==5)c[0]++;
		if(s[i]==7)c[1]++;
	}
	console.log((c[0]==2&&c[1]==1)?"YES":"NO");
}
 
main(require('fs').readFileSync('/dev/stdin', 'utf8'));