TSTP Solution File: GRP125-3.005 by SRASS---0.1