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