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