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