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