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