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