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