TSTP Solution File: PHI010+1 by Nitpick---2016