TSTP Solution File: SYO532^1 by Nitpick---2016