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