TSTP Solution File: SWW844_1 by SInE---0.4