TSTP Solution File: SWW641_2 by SInE---0.4