TSTP Solution File: SCT154+1 by DCTP---1.31