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