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