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