TSTP Solution File: GRP326-1 by SRASS---0.1