TSTP Solution File: SYO500^1.006 by Nitpick---2016