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