TSTP Solution File: SWW472+3 by DCTP---1.31