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