s 15 128 160 162 209 291 473 564 650 755 770 807 867
t 15 128 160 162 209 473 489 564 650 755 770 807 890
a YES
a 15 128 160 162 209 291 473 564 650 755 770 807 867
a 15 128 160 162 209 291 473 564 650 755 770 807 890
a 15 128 160 162 209 473 489 564 650 755 770 807 890