TSTP Solution File: SCT234_5 by SInE---0.4