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