TSTP Solution File: ITP066^1 by Mace4---1109a