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