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