TSTP Solution File: SWC425^7 by SInE---0.4