TSTP Solution File: SWW743_1 by SInE---0.4