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