TSTP Solution File: SCT170^1 by SRASS---0.1