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