TSTP Solution File: SYN094-1.005 by Nitpick---2016