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