var
  a : array [1..5] of longint;
  i : longint;
begin
  for i:=1 to 5 do readln(a[i]);
  i:=1;
  while (i<=5) and (a[i]<>15) do i:=i+1;
  if i>5
    then writeln('No')
    else writeln('Yes');
end.