TSTP Solution File: SWW040_1 by SInE---0.4