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