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