TSTP Solution File: SYO648-1 by Nitpick---2016