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