TSTP Solution File: SWV270-2 by SInE---0.4