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