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