c model TJ, ST
s 1 24 28 45 55 62 87
t 9 16 37 58 62 83 90
a YES
a 1 24 28 45 55 62 87
a 1 24 28 55 62 83 87
a 24 28 37 55 62 83 87
a 9 24 28 37 55 62 83
a 9 28 37 55 62 83 90
a 9 28 37 58 62 83 90
a 9 16 37 58 62 83 90