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