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