TSTP Solution File: SCT176_5 by Mace4---1109a