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