TSTP Solution File: SWW046_1 by SInE---0.4