TSTP Solution File: SYN485+1 by Refute---2015