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