TSTP Solution File: TOP035+1 by SRASS---0.1