TSTP Solution File: CSR088+5 by DCTP---1.31