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