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