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