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