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