TSTP Solution File: SCT107+1 by CARINE---0.734