TSTP Solution File: TOP038+4 by SRASS---0.1