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