TSTP Solution File: SCT236_5 by SInE---0.4