TSTP Solution File: SYN034-1 by Refute---2015