TSTP Solution File: SWV567-1.014 by SInE---0.4