En Marc està jugant al seu videojoc favorit i ha notat un patró interessant: quan el seu personatge fa un atac crític, el dany es multiplica per un valor aleatori entre \(1\) i \(2\). És a dir, si el dany normal és \(D\), el dany crític pot ser qualsevol valor entre \(D\) i \(2 \times D\).

Ara en Marc està revisant els registres de batalla i vol saber si dos valors de dany que ha observat podrien correspondre a un atac normal i el seu corresponent atac crític. Donat que el multiplicador crític pot ser qualsevol valor entre \(1\) i \(2\), cal comprovar si un dels dos danys podria ser el crític de l'altre.

Important: El dany crític sempre ha de ser estrictament major que el dany normal. Si dos valors són iguals, no es pot considerar que un sigui el crític de l'altre.

Ajuda en Marc a determinar si els dos valors de dany podrien correspondre a un atac normal i el seu crític!

Entrada

Dues línies amb dos nombres positius, \(A\) i \(B\).

Sortida

Escriu SI si un dels dos valors podria ser el dany crític de l'altre, o NO en cas contrari.

Exemple d'Entrada 1

100 
150

Exemple de Sortida 1

SI

Exemple d'Entrada 2

100
250

Exemple de Sortida 2

NO

Exemple d'Entrada 3

100
50

Exemple de Sortida 3

SI