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