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