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