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