TSTP Solution File: SCT248_5 by SInE---0.4