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