TSTP Solution File: GRP035-3 by SRASS---0.1