puts'001123345024036040513141624'.index(gets.split.map{|e|n=e.to_i.abs;n>9?-1:n}.minmax*'')?:YES: :NO