TSTP Solution File: CSR094+7 by DCTP---1.31