TSTP Solution File: SWC262+1 by DCTP---1.31