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