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