TSTP Solution File: SYN193-10 by Nitpick---2016