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