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