TSTP Solution File: ITP119^2 by Mace4---1109a