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