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