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