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