TSTP Solution File: GRP101-1 by SInE---0.4