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