TSTP Solution File: SCT247_5 by SInE---0.4