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