TSTP Solution File: SWW781_1 by SInE---0.4