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