TSTP Solution File: SWV335-1 by SInE---0.4