TSTP Solution File: SYO525+1.027 by Nitpick---2016