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