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