TSTP Solution File: SYO561_1 by Nitpick---2016