TSTP Solution File: CSR104+6 by DCTP---1.31