TSTP Solution File: SWW033_1 by SInE---0.4