TSTP Solution File: ITP006^7 by Mace4---1109a