TSTP Solution File: PHI001^1 by DCTP---1.31