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