TSTP Solution File: GRP175-4 by SInE---0.4