TSTP Solution File: SYN000-3 by Nitpick---2016