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