TSTP Solution File: SCT169^1 by Mace4---1109a