TSTP Solution File: SYN395+1 by Nitpick---2016