#include <iostream>
#include <cstdio>
using
namespace
std;
int
main(){
int
a,b,c;
cin>>a>>b>>c;
if
(a==24||b==24||c==24)cout<<
"YES"
;
else
if
(a+b==24||b+c==24||c+a==24) cout<<
"YES"
;
else
if
(a+b+c==24) cout<<
"YES"
;
else
cout<<
"NO"
;
return
0;
}