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