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