TSTP Solution File: GRP127-4.005 by SInE---0.4