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