TSTP Solution File: CSR086+3 by DCTP---1.31