TSTP Solution File: SCT169_1 by SInE---0.4