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