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