TSTP Solution File: SCT058-1 by Mace4---1109a