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