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