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