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