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