TSTP Solution File: GRP129-3.005 by SInE---0.4