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