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