TSTP Solution File: SWW757_1 by SInE---0.4