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