TSTP Solution File: SCT194_5 by SInE---0.4