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