TSTP Solution File: SWW588_2 by DCTP---1.31