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