TSTP Solution File: SWW785_1 by SInE---0.4