TSTP Solution File: COL117-2 by Mace4---1109a