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