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