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