TSTP Solution File: SYN177-1 by Nitpick---2016