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