TSTP Solution File: SWC373+1 by CARINE---0.734