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