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