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