TSTP Solution File: SYO636+1 by Nitpick---2016