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