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