TSTP Solution File: GRA059^1 by SRASS---0.1